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

Formal Language: 



Term 1: Term 2:

(subclass TerminalAttackControl DirectActionActivity) MilitaryProcesses.kif 448-448 TerminalAttackControl ist eine teilkategorie von DirectActionActivity
(subclass TerminalAttackControl Classifying) MilitaryProcesses.kif 449-449 TerminalAttackControl ist eine teilkategorie von Classifying
(subclass TerminalAttackControl Stating) MilitaryProcesses.kif 450-450 TerminalAttackControl ist eine teilkategorie von Stating


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