The CGKAT top-level relation ontology  (~ 200 relation types)


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.



Binary_relation(Concept,Concept)

       Attributive_relation (Concept,Concept)  --  e.g. Chrc, Attr, Manner, Name, Role, Possession, Accompaniment 

       Component_relation (Concept,Concept)  --  e.g. Part, Main_Part, Element, Subset, Subtask, FirstSubTask 

       Constraint_or_measure_relation (Concept,Concept)  --  e.g. mathematical, spatial and temporal relations 

       Relation_from_a_situation (Situation,Concept)  --  i.e. only from a state or a process 

            % Constraint_or_measure_relation_from_a_situation (Concept,Concept)  --  i.e. only from a state or a process 
                     Descr (Situation,Proposition)  --  for describing a situation 
                   % Temporal_relation_from_a_situation (Situation,Concept)
                            Situation_temporal_location (Situation,Temporal_entity)  --  e.g. Point_in_time, Duration, T_Since, T_Until 
                            Temporal_relation_between_situations (Situation,Situation)  --   e.g. T_Succ, Task_Succ, Terminaison, Consequence 
                   % Spatial_relation_from_a_process (Process,Spatial_entity)  --  e.g. Source, Destination, Path 

              Relation_from_a_process (Process,Concept)
                   % Purpose (Process,Situation)  --  a purpose of a process is also a reason to do this process 
                   % Recipient (Process,Goal_directed_causal_entity)  --  e.g. Beneficiary 
                   % Experiencer (Process,Goal_directed_causal_entity)
                   % Result (Process,Concept)
                            O (Process,Concept)  --  output only object 
                          % IO (Process,Concept)  --  input-output object, e.g. Object_to_modify, Object_to_mute, State 
                     Object (Process,Concept)  --  this case relation is also usually called Patient or Theme 
                            I (Process,Concept)  --  input only object (for example for evaluation or comparison processes) 
                                   Material (Process,Concept)
                                 % Parameter (Process,Concept)
                                   SI (Process,Concept)  --  static input (e.g. for KADS tasks) 
                                   DI (Process,Concept)  --  dynamic input (e.g. for KADS tasks) 
                          % IO (Process,Concept)  --  input-output object, e.g. Object_to_modify, Object_to_mute, State 
                   % Initiator (Process,W_causal_agent__cause__causal_agency)
                   % Agent (Process,Goal_directed_causal_entity)
                     Instrument (Process,Entity)
                   % Manner (Process,Measure)  --  process attribute, e.g. Quickly 
                     Method (Process,Process)
                   % SubProcess (Process,Process)  --  e.g. SubTask, FirstSubTask, LastSubTask 
                   % Spatial_relation_from_a_process (Process,Spatial_entity)  --  e.g. Source, Destination, Path 

       Relation_to_a_situation (Concept,Situation)  --  i.e. only to a state or a process, e.g. Relation_to_a_process 

       Relation_from_a_proposition (Proposition,Concept)  --  e.g. Information_source, Author, Rhetorical_relation, Argumentation_relation 

       Relation_refering_to_a_process (Concept,Concept)  --  e.g. Summarize, Change_location 

       Relation_with_a_special_property (Concept,Concept)  --  e.g. Transitive_relation, Symmetric_relation, Contextualizing_relation 

       Relation_used_by_an_agent (Concept,Concept)  --  for accessing the relation types accepted/used by a (group of) agent(s) 
              Relation_created_by_an_agent (Concept,Concept)  --  may be useful when many knowledge engineers work on the same ontology