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 4505-4505 CommodoreAutomobile ist eine teilkategorie von Automobile
(subclass MiniCooper Automobile) Cars.kif 4851-4851 MiniCooper ist eine teilkategorie von Automobile
(subclass HoldenToranaAutomobile Automobile) Cars.kif 4863-4863 HoldenToranaAutomobile ist eine teilkategorie von Automobile
(subclass FordAutomobile Automobile) Cars.kif 4909-4909 FordAutomobile ist eine teilkategorie von Automobile
(subclass ChevroletAutomobile Automobile) Cars.kif 4966-4966 ChevroletAutomobile ist eine teilkategorie von Automobile
(subclass Corvette Automobile) Cars.kif 5118-5118 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