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

Formal Language: 



Term 1: Term 2:

(subclass Automobile SelfPoweredRoadVehicle) Transportation.kif 1947-1947 Automobile は SelfPoweredRoadVehicle の subclass では %n
(subclass Automobile PassengerVehicle) Transportation.kif 1948-1948 Automobile は PassengerVehicle の subclass では %n
(subclass Automobile PhysicalSystem) Cars.kif 836-836 Automobile は PhysicalSystem の subclass では %n
(subclass Taxicab Automobile) Transportation.kif 1962-1962 Taxicab は Automobile の subclass では %n
(subclass CommodoreAutomobile Automobile) Cars.kif 4513-4513 CommodoreAutomobile は Automobile の subclass では %n
(subclass MiniCooper Automobile) Cars.kif 4859-4859 MiniCooper は Automobile の subclass では %n
(subclass HoldenToranaAutomobile Automobile) Cars.kif 4871-4871 HoldenToranaAutomobile は Automobile の subclass では %n
(subclass FordAutomobile Automobile) Cars.kif 4917-4917 FordAutomobile は Automobile の subclass では %n
(subclass ChevroletAutomobile Automobile) Cars.kif 4974-4974 ChevroletAutomobile は Automobile の subclass では %n
(subclass Corvette Automobile) Cars.kif 5126-5126 Corvette は Automobile の subclass では %n


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