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

Formal Language: 



Term 1: Term 2:

(subclass Stating LinguisticCommunication) Merge.kif 13138-13138 子類 Stating and 語言交流
(subclass TerminalAttackControl Stating) MilitaryProcesses.kif 450-450 子類 終端攻擊控制 and Stating
(subclass TerminalGuidance Stating) MilitaryProcesses.kif 502-502 子類 終端指導 and Stating
(subclass SITREP Stating) MilitaryProcesses.kif 2692-2692 子類 SITREP and Stating
(subclass Registering Stating) Mid-level-ontology.kif 882-882 子類 註冊 and Stating
(subclass Answering Stating) Mid-level-ontology.kif 894-894 子類 回答中 and Stating
(subclass Arguing Stating) Mid-level-ontology.kif 906-906 子類 爭論 and Stating
(subclass Pleading Stating) Mid-level-ontology.kif 16124-16124 子類 懇求 and Stating
(subclass Testifying Stating) Mid-level-ontology.kif 16162-16162 子類 作證 and Stating
(subclass Apologizing Stating) Mid-level-ontology.kif 29615-29615 子類 Apologizing and Stating
(subclass Confirming Stating) Mid-level-ontology.kif 29634-29634 子類 Confirming and Stating
(subclass Correcting Stating) Mid-level-ontology.kif 29686-29686 子類 Correcting and Stating
(subclass Disagreeing Stating) Merge.kif 13150-13150 子類 不同意 and Stating
(subclass Misdiagnosing Stating) Medicine.kif 4180-4180 子類 Misdiagnosing and Stating
(subclass ReachingAgreement Stating) Media.kif 125-125 子類 ReachingAgreement and 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