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

Formal Language: 



Term 1: Term 2:

(subclass RailVehicle LandVehicle) Transportation.kif 2033-2033 RailVehicle ist eine teilkategorie von LandVehicle
(subclass Train RailVehicle) Transportation.kif 2047-2047 Train ist eine teilkategorie von RailVehicle
(subclass RollingStock RailVehicle) Transportation.kif 2095-2095 RollingStock ist eine teilkategorie von RailVehicle


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