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

Formal Language: 



Term 1: Term 2:

(subclass AgentPoweredVehicle Vehicle) Transportation.kif 1811-1811 AgentPoweredVehicle ist eine teilkategorie von Vehicle
(subclass Cycle AgentPoweredVehicle) Transportation.kif 1924-1924 Cycle ist eine teilkategorie von AgentPoweredVehicle
(subclass Scooter AgentPoweredVehicle) Transportation.kif 1945-1945 Scooter ist eine teilkategorie von AgentPoweredVehicle
(subclass Canoe AgentPoweredVehicle) Transportation.kif 2500-2500 Canoe ist eine teilkategorie von AgentPoweredVehicle
(subclass Kayak AgentPoweredVehicle) Transportation.kif 2503-2503 Kayak ist eine teilkategorie von AgentPoweredVehicle


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