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

Formal Language: 



Term 1: Term 2:

(subclass Stating LinguisticCommunication) Merge.kif 13160-13160 記載LinguisticCommunicationsubclass では %n
(subclass TerminalAttackControl Stating) MilitaryProcesses.kif 450-450 TerminalAttackControl記載subclass では %n
(subclass TerminalGuidance Stating) MilitaryProcesses.kif 502-502 TerminalGuidance記載subclass では %n
(subclass SITREP Stating) MilitaryProcesses.kif 2692-2692 SITREP記載subclass では %n
(subclass Registering Stating) Mid-level-ontology.kif 882-882 Registering記載subclass では %n
(subclass Answering Stating) Mid-level-ontology.kif 894-894 Answering記載subclass では %n
(subclass Arguing Stating) Mid-level-ontology.kif 906-906 Arguing記載subclass では %n
(subclass Pleading Stating) Mid-level-ontology.kif 16123-16123 Pleading記載subclass では %n
(subclass Testifying Stating) Mid-level-ontology.kif 16161-16161 Testifying記載subclass では %n
(subclass Apologizing Stating) Mid-level-ontology.kif 29603-29603 Apologizing記載subclass では %n
(subclass Confirming Stating) Mid-level-ontology.kif 29622-29622 Confirming記載subclass では %n
(subclass Correcting Stating) Mid-level-ontology.kif 29674-29674 Correcting記載subclass では %n
(subclass Disagreeing Stating) Merge.kif 13172-13172 Disagreeing記載subclass では %n
(subclass Misdiagnosing Stating) Medicine.kif 4180-4180 Misdiagnosing記載subclass では %n
(subclass ReachingAgreement Stating) Media.kif 125-125 ReachingAgreement記載subclass では %n


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