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

Formal Language: 



Term 1: Term 2:

(subclass ElectrifiedRailwayCar RollingStock) Transportation.kif 2165-2165 ElectrifiedRailwayCar ist eine teilkategorie von RollingStock
(subclass ElectrifiedRailwayCar PoweredVehicle) Transportation.kif 2166-2166 ElectrifiedRailwayCar ist eine teilkategorie von PoweredVehicle
(subclass ElectrifiedRailwayCar ElectricDevice) Transportation.kif 2167-2167 ElectrifiedRailwayCar ist eine teilkategorie von ElectricDevice
(subclass Streetcar ElectrifiedRailwayCar) Transportation.kif 2209-2209 Streetcar ist eine teilkategorie von ElectrifiedRailwayCar


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