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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sol

 Sigma KEE - Sol
Sol(太阳)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3355-3356
No TPTP formula. May not be expressible in strict first order. pictureList.kif 184-184
No TPTP formula. May not be expressible in strict first order. Geography.kif 3354-3354 太阳 是 星 的 instance

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3407-3407 太阳 是 行星地球 的 orbits
No TPTP formula. May not be expressible in strict first order. Geography.kif 3415-3415 太阳 是 行星木星 的 orbits
No TPTP formula. May not be expressible in strict first order. Geography.kif 3413-3413 太阳 是 星球火星 的 orbits
No TPTP formula. May not be expressible in strict first order. Geography.kif 3409-3409 太阳 是 行星汞 的 orbits
No TPTP formula. May not be expressible in strict first order. Geography.kif 3419-3419 太阳 是 行星海王星 的 orbits
No TPTP formula. May not be expressible in strict first order. Geography.kif 3423-3423 太阳 是 行星冥王星 的 orbits
No TPTP formula. May not be expressible in strict first order. Geography.kif 3417-3417 太阳 是 行星土星 的 orbits
No TPTP formula. May not be expressible in strict first order. Geography.kif 3421-3421 太阳 是 行星天王星 的 orbits
No TPTP formula. May not be expressible in strict first order. Geography.kif 3411-3411 太阳 是 行星金星 的 orbits
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53828-53828
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53827-53827
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53826-53826

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11005-11015
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11023-11033
No TPTP formula. May not be expressible in strict first order. Geography.kif 3358-3360


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