Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NaturalSatellite
NaturalSatellite(natural satellite)Deimos, natural_satellite, satellite

appearance as argument number 1
-------------------------


(disjoint NaturalSatellite Artifact) Geography.kif 3234-3234 Natural satellite is disjoint from artifact
(documentation NaturalSatellite EnglishLanguage "NaturalSatellite is the class of large, naturally occurring astronomical bodies orbiting some other AstronomicalBody.") Geography.kif 3236-3238
(subclass NaturalSatellite AstronomicalBody) Geography.kif 3233-3233 Natural satellite is a subclass of astronomical body
(subclass NaturalSatellite Satellite) Geography.kif 3232-3232 Natural satellite is a subclass of satellite

appearance as argument number 2
-------------------------


(subclass Moon NaturalSatellite) Geography.kif 3240-3240 Moon is a subclass of natural satellite
(subclass Planet NaturalSatellite) Geography.kif 3248-3248 Planet is a subclass of natural satellite
(termFormat EnglishLanguage NaturalSatellite "natural satellite") domainEnglishFormat.kif 7072-7072 "natural satellite" is the printable form of natural satellite in english language


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners