|
|
  PlanetEarth
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3406-3406 | PlanetEarth est une instance de Planet |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3407-3407 | orbits PlanetEarth and Sol |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3399-3399 | orbits EarthsMoon and PlanetEarth |
| 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 |
|
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2781-2786 | earthAltitude objet and mesure de longueur objet en une partie le altitude de objet est objet en une partie objet en une partie est une surface de PlanetEarth |
| 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 |
|
|
|
|