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

Formal Language: 



Term 1: Term 2:

(subclass AstronomicalBody Object) Merge.kif 14022-14022 AstronomicalBody ist eine teilkategorie von Object
(subclass Star AstronomicalBody) Geography.kif 3350-3350 Star ist eine teilkategorie von AstronomicalBody
(subclass Satellite AstronomicalBody) Geography.kif 3366-3366 Satellite ist eine teilkategorie von AstronomicalBody
(subclass NaturalSatellite AstronomicalBody) Geography.kif 3387-3387 NaturalSatellite ist eine teilkategorie von AstronomicalBody
(subclass Meteoroid AstronomicalBody) Geography.kif 3436-3436 Meteoroid ist eine teilkategorie von AstronomicalBody


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