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

Formal Language: 



Term 1: Term 2:

(subclass SpecialOperation MilitaryOperation) MilitaryProcesses.kif 272-272 SpecialOperation ist eine teilkategorie von MilitaryOperation
(subclass SpecialReconnaissance SpecialOperation) MilitaryProcesses.kif 18-18 SpecialReconnaissance ist eine teilkategorie von SpecialOperation
(subclass UnconventionalWarfare SpecialOperation) MilitaryProcesses.kif 131-131 UnconventionalWarfare ist eine teilkategorie von SpecialOperation
(subclass DirectAction SpecialOperation) MilitaryProcesses.kif 324-324 DirectAction ist eine teilkategorie von SpecialOperation


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