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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Moon

 Sigma KEE - Moon
Moon(月亮)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3395-3396
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1494-1494
No TPTP formula. May not be expressible in strict first order. Geography.kif 3394-3394 月亮 是 天然卫星 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3398-3398 地球月亮 是 月亮 的 instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38517-38517
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38516-38516
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38515-38515


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