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

Formal Language: 



Term 1: Term 2:

(subclass Automobile SelfPoweredRoadVehicle) Transportation.kif 1947-1947 Automobile ist eine teilkategorie von SelfPoweredRoadVehicle
(subclass Automobile PassengerVehicle) Transportation.kif 1948-1948 Automobile ist eine teilkategorie von PassengerVehicle
(subclass Automobile PhysicalSystem) Cars.kif 836-836 Automobile ist eine teilkategorie von PhysicalSystem
(subclass Taxicab Automobile) Transportation.kif 1962-1962 Taxicab ist eine teilkategorie von Automobile
(subclass CommodoreAutomobile Automobile) Cars.kif 4513-4513 CommodoreAutomobile ist eine teilkategorie von Automobile
(subclass MiniCooper Automobile) Cars.kif 4859-4859 MiniCooper ist eine teilkategorie von Automobile
(subclass HoldenToranaAutomobile Automobile) Cars.kif 4871-4871 HoldenToranaAutomobile ist eine teilkategorie von Automobile
(subclass FordAutomobile Automobile) Cars.kif 4917-4917 FordAutomobile ist eine teilkategorie von Automobile
(subclass ChevroletAutomobile Automobile) Cars.kif 4974-4974 ChevroletAutomobile ist eine teilkategorie von Automobile
(subclass Corvette Automobile) Cars.kif 5126-5126 Corvette ist eine teilkategorie von Automobile


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