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 3414-3414 |
PlanetJupiter e' uma instancia de Planet |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3412-3412 |
PlanetMars e' uma instancia de Planet |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3408-3408 |
PlanetMercury e' uma instancia de Planet |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3418-3418 |
PlanetNeptune e' uma instancia de Planet |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3422-3422 |
PlanetPluto e' uma instancia de Planet |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3416-3416 |
PlanetSaturn e' uma instancia de Planet |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3420-3420 |
PlanetUranus e' uma instancia de Planet |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3410-3410 |
PlanetVenus e' uma instancia de Planet |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46032-46032 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46031-46031 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46030-46030 |
|