Some subtypes for Relation_from_a_proposition

In the indented list below, 1) signatures are associated to each relation type. See the CGKAT top-level concept type ontology for more details about the concept types used in the signatures; 2) comments are often associated to the concept types, and in this comments, examples of subtypes are often given. This allow us not to developp each branch. The '%' before a type means that it has more than one supertype. Relation_from_a_proposition (Proposition,Concept) -- e.g. Information_source, Author, Rhetorical_relation, Argumentation_relation % Logical_relation (Proposition,Concept) -- e.g. And, Or, Iff (most logical relation types are also subtype of Logical_contextualizing_relation) % Contextualizing_relation_from_a_proposition (Proposition,Concept) -- e.g. Author, Modality, Or, Iff, If_Then_relation Believer (Proposition,Cognitive_agent) Stmt (Proposition,Representation_entity) -- for stating a proposition Rhetorical_relation (Proposition,Proposition) -- from the Rhetorical Structure Theory (RST) and the PENMAN ontology Presentational_Rhetorical_relation (Proposition,Proposition) -- connect to details which should induce the reader to do or think something RST_Enablement (Proposition,Proposition) -- details for enabling the reader to perform the described action RST_Background (Proposition,Proposition) -- details for enabling the reader to understand the described situation RST_Motivation (Proposition,Proposition) -- details for increasing the reader desire to perform the described action RST_Evidence (Proposition,Proposition) -- details for increasing the reader belief RST_Justify (Proposition,Proposition) -- details for increasing the reader acceptance % RST_Antithesis (Proposition,Proposition) -- contrast for increasing the reader positive regard RST_Consession (Proposition,Proposition) -- concession for increasing the reader positive regard Subject_matter_Rhetorical_relation (Proposition,Proposition) -- connect to details for making a better description RST_Circumstance (Proposition,Proposition) -- circumstances about a situation RST_Solution (Proposition,Proposition) -- solution to a problem % RST_Elaboration (Proposition,Proposition) -- e.g. RST_Subtype, RST_Property, RST_Part % Cause_Rhetorical_relation (Proposition,Proposition) RST_Volitional_Cause (Proposition,Proposition) -- cause of the described intended situation RST_NonVolitional_Cause (Proposition,Proposition) -- cause of the described not intended situation RST_Purpose (Proposition,Proposition) -- situation that the described action is intended to reach % Effect_Rhetorical_relation (Proposition,Proposition) RST_Volitional_result (Proposition,Proposition) RST_NonVolitional_result (Proposition,Proposition) RST_Definition (Proposition,Proposition) -- logical relations should be used instead of this relation RST_Comparison (Proposition,Proposition) -- use Similar_to and Different_from instead of this relation RST_Means (Proposition,Proposition) RST_Condition (Proposition,Proposition) -- situation necessary for the realization of the described situation RST_Otherwise (Proposition,Proposition) -- situation which prevents the realization of the described situation RST_Interpretation (Proposition,Proposition) -- interpretation/abstraction/comment on the described facts RST_Evaluation (Proposition,Proposition) -- positive interpretation/abstraction/comment on facts % RST_Restatement (Proposition,Proposition) RST_Summary (Proposition,Proposition) RST_Theme (Proposition,Proposition) % RST_Contrast (Proposition,Proposition) -- comparability and differences of two situations % RST_Antithesis (Proposition,Proposition) -- contrast for increasing the reader positive regard % Symmetric_Rhetorical_relation (Proposition,Proposition) -- e.g. RST_Restatement Argumentation_relation (Proposition,Proposition) -- from the AAA system (Schuler&Smith, 1990) Serves (Issue,Issue) -- source issue serves dest. issue Replacement (Issue,Issue) -- dest. issue is a replacement of source issue Suggestion (Proposition,Issue) -- dest. issue is a suggested by the source proposition Answer (Issue,Position) -- dest. position is an answer to the source issue Objection (Position,Argument) -- dest. argument is an objection to the source position Confirmation (Position,Argument) -- dest. argument is a support of the source position Contribution (Proposition,Proposition) Reference (Proposition,Fact) -- dest. fact is a reference of the source proposition Contradiction (Proposition,Proposition)