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

Formal Language: 



Term 1: Term 2:

(subclass Automobile SelfPoweredRoadVehicle) Transportation.kif 1955-1955
(subclass Automobile PassengerVehicle) Transportation.kif 1956-1956
(subclass Automobile PhysicalSystem) Cars.kif 836-836
(subclass Taxicab Automobile) Transportation.kif 1970-1970
(subclass CommodoreAutomobile Automobile) Cars.kif 4508-4508
(subclass MiniCooper Automobile) Cars.kif 4854-4854
(subclass HoldenToranaAutomobile Automobile) Cars.kif 4866-4866
(subclass FordAutomobile Automobile) Cars.kif 4912-4912
(subclass ChevroletAutomobile Automobile) Cars.kif 4969-4969
(subclass Corvette Automobile) Cars.kif 5121-5121


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