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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SolarSystem

 Sigma KEE - SolarSystem
SolarSystem(太阳系)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3363-3364
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1500-1500
No TPTP formula. May not be expressible in strict first order. Geography.kif 3362-3362 太阳系 是 群体 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53840-53840
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53839-53839
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53838-53838


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