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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NaturalSatellite

 Sigma KEE - NaturalSatellite
NaturalSatellite(天然衛星)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3388-3388 不相交的 天然衛星 and Artifact
No TPTP formula. May not be expressible in strict first order. Geography.kif 3390-3392
No TPTP formula. May not be expressible in strict first order. Geography.kif 3387-3387 子類 天然衛星 and AstronomicalBody
No TPTP formula. May not be expressible in strict first order. Geography.kif 3386-3386 子類 天然衛星 and 衛星

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3394-3394 子類 月亮 and 天然衛星
No TPTP formula. May not be expressible in strict first order. Geography.kif 3402-3402 子類 行星 and 天然衛星
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39915-39915
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39914-39914
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39913-39913


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