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

Formal Language: 



Term 1: Term 2:

(subclass SecurityOperation MilitaryOperation) Military.kif 80-80 SecurityOperation ist eine teilkategorie von MilitaryOperation
(subclass SecurityPatrol SecurityOperation) MilitaryProcesses.kif 2689-2689 SecurityPatrol ist eine teilkategorie von SecurityOperation


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