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

Formal Language: 



Term 1: Term 2:

(subclass Driving Guiding) Merge.kif 11612-11612 Driving ist eine teilkategorie von Guiding
(subclass Driving Transportation) Merge.kif 11613-11613 Driving ist eine teilkategorie von Transportation
(subclass FlyingAircraft Driving) Mid-level-ontology.kif 17797-17797 FlyingAircraft ist eine teilkategorie von Driving


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