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

Formal Language: 



Term 1: Term 2:

(subclass Classifying IntentionalPsychologicalProcess) Merge.kif 12006-12006 Classifying ist eine teilkategorie von IntentionalPsychologicalProcess
(subclass TerminalAttackControl Classifying) MilitaryProcesses.kif 449-449 TerminalAttackControl ist eine teilkategorie von Classifying
(subclass TerminalGuidance Classifying) MilitaryProcesses.kif 501-501 TerminalGuidance ist eine teilkategorie von Classifying


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