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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlanetEarth

Sigma KEE - PlanetEarth
PlanetEarth(planet earth)Earth, earth, globe, world

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3406-3406 Planet earth is an instance of planet
No TPTP formula. May not be expressible in strict first order. Geography.kif 3407-3407 Sol is an orbits of planet earth

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3399-3399 Planet earth is an orbits of earths moon
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46038-46038
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46037-46037
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46036-46036

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1462-1467 The altitude of an aircraft is a self connected object and the self connected object is a surface of planet earth and the aircraft is an instance of aircraft if and only if an altitude measure is the absolute height of the aircraft
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1488-1496
No TPTP formula. May not be expressible in strict first order. Geography.kif 3999-4010

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2781-2786 An object is a length measure above the ground if and only if there exists a self connected object such that the altitude of the object is the self connected object and the self connected object is a surface of planet earth
No TPTP formula. May not be expressible in strict first order. Geography.kif 1907-1912
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1441-1451
No TPTP formula. May not be expressible in strict first order. Geography.kif 3515-3517
No TPTP formula. May not be expressible in strict first order. Geography.kif 3468-3470
No TPTP formula. May not be expressible in strict first order. Geography.kif 3429-3433
No TPTP formula. May not be expressible in strict first order. Geography.kif 3991-3997


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