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

Formal Language: 



Term 1: Term 2:

(subclass Spacecraft Vehicle) Mid-level-ontology.kif 17711-17711 Spacecraft ist eine teilkategorie von Vehicle
(subclass Rocket Spacecraft) Mid-level-ontology.kif 17719-17719 Rocket ist eine teilkategorie von Spacecraft


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