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

Formal Language: 



KB Term:  Term intersection
English Word: 

  orbits

 Sigma KEE - orbits
orbits

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3376-3377
No TPTP formula. May not be expressible in strict first order. Geography.kif 3373-3373 域 軌道, 1 and Object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3374-3374 域 軌道, 2 and AstronomicalBody
No TPTP formula. May not be expressible in strict first order. Geography.kif 3372-3372 例 軌道 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Geography.kif 3371-3371 例 軌道 and BinaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1851-1851
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1850-1850
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1849-1849
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42426-42426
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42425-42425
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42424-42424

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3379-3384

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 3399-3399 行星地球 是 地球月亮 的 orbits
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


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