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

Formal Language: 



Term 1: Term 2:

(subclass JointOperation MilitaryOperation) MilitaryProcesses.kif 1716-1716 JointOperation ist eine teilkategorie von MilitaryOperation
(subclass JointOperation Cooperation) MilitaryProcesses.kif 1717-1717 JointOperation ist eine teilkategorie von Cooperation
(subclass CivilAffairsOperation JointOperation) MilitaryProcesses.kif 2206-2206 CivilAffairsOperation ist eine teilkategorie von JointOperation
(subclass CivilMilitaryOperation JointOperation) MilitaryProcesses.kif 2268-2268 CivilMilitaryOperation ist eine teilkategorie von JointOperation


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