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

Formal Language: 



Term 1: Term 2:

(subclass MilitaryPlatform TransportationDevice) Military.kif 128-128 MilitaryPlatform ist eine teilkategorie von TransportationDevice
(subclass MilitaryVehicle MilitaryPlatform) Military.kif 130-130 MilitaryVehicle ist eine teilkategorie von MilitaryPlatform


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