PlanetEarth
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3406-3406 | PlanetEarth e' uma instancia 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 Objeto and Medida de Comprimento Objeto auto-conectado a altitude de Objeto e' Objeto auto-conectado Objeto auto-conectado e' uma superficie 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 |
|