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

Formal Language: 



Term 1: Term 2:

(subclass Stating LinguisticCommunication) Merge.kif 13184-13184 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 2743-2743 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 16151-16151 Pleading is a subclass of stating
(subclass Testifying Stating) Mid-level-ontology.kif 16189-16189 Testifying is a subclass of stating
(subclass Apologizing Stating) Mid-level-ontology.kif 29666-29666 Apologizing is a subclass of stating
(subclass Confirming Stating) Mid-level-ontology.kif 29685-29685 Confirming is a subclass of stating
(subclass Correcting Stating) Mid-level-ontology.kif 29737-29737 Correcting is a subclass of stating
(subclass Disagreeing Stating) Merge.kif 13196-13196 Disagreeing is a subclass of stating
(subclass Misdiagnosing Stating) Medicine.kif 4180-4180 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