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

Formal Language: 



Term 1: Term 2:

(subclass Stating LinguisticCommunication) Merge.kif 13138-13138 記載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 16124-16124 Pleading記載subclass では %n
(subclass Testifying Stating) Mid-level-ontology.kif 16162-16162 Testifying記載subclass では %n
(subclass Apologizing Stating) Mid-level-ontology.kif 29615-29615 Apologizing記載subclass では %n
(subclass Confirming Stating) Mid-level-ontology.kif 29634-29634 Confirming記載subclass では %n
(subclass Correcting Stating) Mid-level-ontology.kif 29686-29686 Correcting記載subclass では %n
(subclass Disagreeing Stating) Merge.kif 13150-13150 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