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

Formal Language: 



Term 1: Term 2:

(subclass Stating LinguisticCommunication) Merge.kif 13160-13160
(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 16123-16123
(subclass Testifying Stating) Mid-level-ontology.kif 16161-16161
(subclass Apologizing Stating) Mid-level-ontology.kif 29603-29603
(subclass Confirming Stating) Mid-level-ontology.kif 29622-29622
(subclass Correcting Stating) Mid-level-ontology.kif 29674-29674
(subclass Disagreeing Stating) Merge.kif 13172-13172
(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