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

Formal Language: 



Term 1: Term 2:

(subclass JointDoctrine JointPublication) MilitaryProcesses.kif 1017-1017 JointDoctrine ist eine teilkategorie von JointPublication
(subclass JointDoctrine Doctrine) MilitaryProcesses.kif 1018-1018 JointDoctrine ist eine teilkategorie von Doctrine
(subclass Capstone JointDoctrine) MilitaryProcesses.kif 1083-1083 Capstone ist eine teilkategorie von JointDoctrine
(subclass Keystone JointDoctrine) MilitaryProcesses.kif 1091-1091 Keystone ist eine teilkategorie von JointDoctrine


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