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

Formal Language: 



Term 1: Term 2:

(subclass Train RailVehicle) Transportation.kif 2047-2047 Train ist eine teilkategorie von RailVehicle
(subclass Train PoweredVehicle) Transportation.kif 2048-2048 Train ist eine teilkategorie von PoweredVehicle
(subclass Train Collection) Transportation.kif 2049-2049 Train ist eine teilkategorie von Collection


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