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

Formal Language: 



Term 1: Term 2:

(subclass CompanyMilitary MilitaryUnit) Military.kif 736-736 CompanyMilitary ist eine teilkategorie von MilitaryUnit
(subclass ArtilleryBattery CompanyMilitary) MilitaryPersons.kif 483-483 ArtilleryBattery ist eine teilkategorie von CompanyMilitary
(subclass InfantryCompany CompanyMilitary) MilitaryPersons.kif 501-501 InfantryCompany ist eine teilkategorie von CompanyMilitary
(subclass WeaponsCompany CompanyMilitary) MilitaryPersons.kif 563-563 WeaponsCompany ist eine teilkategorie von CompanyMilitary


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