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

Formal Language: 



Term 1: Term 2:

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


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