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. |
Geography.kif 3407-3407 |
orbits PlanetEarth and Sol |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3415-3415 |
orbits PlanetJupiter and Sol |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3413-3413 |
orbits PlanetMars and Sol |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3409-3409 |
orbits PlanetMercury and Sol |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3419-3419 |
orbits PlanetNeptune and Sol |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3423-3423 |
orbits PlanetPluto and Sol |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3417-3417 |
orbits PlanetSaturn and Sol |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3421-3421 |
orbits PlanetUranus and Sol |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3411-3411 |
orbits PlanetVenus and Sol |