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

Formal Language: 



Term 1: Term 2:

(subclass Scooter LandVehicle) Transportation.kif 1944-1944 Scooter ist eine teilkategorie von LandVehicle
(subclass Scooter AgentPoweredVehicle) Transportation.kif 1945-1945 Scooter 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