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

Formal Language: 



Term 1: Term 2:

(subclass Driving Guiding) Merge.kif 11634-11634 Driving ist eine teilkategorie von Guiding
(subclass Driving Transportation) Merge.kif 11635-11635 Driving ist eine teilkategorie von Transportation
(subclass FlyingAircraft Driving) Mid-level-ontology.kif 17796-17796 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