Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass Stating LinguisticCommunication) Merge.kif 13138-13138 D�clarer est une sous-classe de LinguisticCommunication
(subclass TerminalAttackControl Stating) MilitaryProcesses.kif 450-450 TerminalAttackControl est une sous-classe de d�clarer
(subclass TerminalGuidance Stating) MilitaryProcesses.kif 502-502 TerminalGuidance est une sous-classe de d�clarer
(subclass SITREP Stating) MilitaryProcesses.kif 2692-2692 SITREP est une sous-classe de d�clarer
(subclass Registering Stating) Mid-level-ontology.kif 882-882 Registering est une sous-classe de d�clarer
(subclass Answering Stating) Mid-level-ontology.kif 894-894 Answering est une sous-classe de d�clarer
(subclass Arguing Stating) Mid-level-ontology.kif 906-906 Arguing est une sous-classe de d�clarer
(subclass Pleading Stating) Mid-level-ontology.kif 16124-16124 Pleading est une sous-classe de d�clarer
(subclass Testifying Stating) Mid-level-ontology.kif 16162-16162 Testifying est une sous-classe de d�clarer
(subclass Apologizing Stating) Mid-level-ontology.kif 29615-29615 Apologizing est une sous-classe de d�clarer
(subclass Confirming Stating) Mid-level-ontology.kif 29634-29634 Confirming est une sous-classe de d�clarer
(subclass Correcting Stating) Mid-level-ontology.kif 29686-29686 Correcting est une sous-classe de d�clarer
(subclass Disagreeing Stating) Merge.kif 13150-13150 Disagreeing est une sous-classe de d�clarer
(subclass Misdiagnosing Stating) Medicine.kif 4180-4180 Misdiagnosing est une sous-classe de d�clarer
(subclass ReachingAgreement Stating) Media.kif 125-125 ReachingAgreement est une sous-classe de d�clarer


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners