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

Formal Language: 


KB Term:  Term intersection
English Word: 

  NaturalSatellite

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

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


(disjoint NaturalSatellite Artifact) Geography.kif 3546-3546 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 3548-3550 Natural satellite is disjoint from artifact
(subclass NaturalSatellite AstronomicalBody) Geography.kif 3545-3545 Natural satellite is a subclass of astronomical body
(subclass NaturalSatellite Satellite) Geography.kif 3544-3544 Natural satellite is a subclass of satellite

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


(subclass Moon NaturalSatellite) Geography.kif 3552-3552 Moon is a subclass of natural satellite
(subclass Planet NaturalSatellite) Geography.kif 3560-3560 Planet is a subclass of natural satellite
(termFormat ChineseLanguage NaturalSatellite "天然卫星") domainEnglishFormat.kif 39928-39928 Planet is a subclass of natural satellite
(termFormat ChineseTraditionalLanguage NaturalSatellite "天然衛星") domainEnglishFormat.kif 39927-39927 Planet is a subclass of natural satellite
(termFormat EnglishLanguage NaturalSatellite "natural satellite") domainEnglishFormat.kif 39926-39926 Planet is a subclass of natural satellite


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

Show without tree


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