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

Formal Language: 


Term 1: Term 2:

(subclass Stating LinguisticCommunication) Merge.kif 13292-13292 Stating is a subclass of linguistic communication
(subclass TerminalAttackControl Stating) MilitaryProcesses.kif 450-450 Terminal attack control is a subclass of stating
(subclass TerminalGuidance Stating) MilitaryProcesses.kif 502-502 Terminal guidance is a subclass of stating
(subclass SITREP Stating) MilitaryProcesses.kif 2727-2727 SITuation REPort is a subclass of stating
(subclass Registering Stating) Mid-level-ontology.kif 875-875 Registering is a subclass of stating
(subclass Answering Stating) Mid-level-ontology.kif 887-887 Answering is a subclass of stating
(subclass Arguing Stating) Mid-level-ontology.kif 899-899 Arguing is a subclass of stating
(subclass Pleading Stating) Mid-level-ontology.kif 17511-17511 Pleading is a subclass of stating
(subclass Testifying Stating) Mid-level-ontology.kif 17549-17549 Testifying is a subclass of stating
(subclass Apologizing Stating) Mid-level-ontology.kif 31534-31534 Apologizing is a subclass of stating
(subclass Confirming Stating) Mid-level-ontology.kif 31553-31553 Confirming is a subclass of stating
(subclass Correcting Stating) Mid-level-ontology.kif 31605-31605 Correcting is a subclass of stating
(subclass Disagreeing Stating) Merge.kif 13304-13304 Disagreeing is a subclass of stating
(subclass Misdiagnosing Stating) Medicine.kif 4186-4186 Misdiagnosing is a subclass of stating
(subclass ReachingAgreement Stating) Media.kif 125-125 Reaching agreement is a subclass of stating


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