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

Formal Language: 



Term 1: Term 2:

(subclass MilitaryTank MilitaryVehicle) Military.kif 145-145 MilitaryTank ist eine teilkategorie von MilitaryVehicle
(subclass MilitaryTank RoadVehicle) Military.kif 146-146 MilitaryTank ist eine teilkategorie von RoadVehicle
(subclass MilitaryTank ArtilleryGun) Military.kif 147-147 MilitaryTank ist eine teilkategorie von ArtilleryGun
(subclass MilitaryTank ArmoredVehicle) MilitaryDevices.kif 1608-1608 MilitaryTank ist eine teilkategorie von ArmoredVehicle


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