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. |
Geography.kif 3407-3407 |
Sol is an orbits of planet earth |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3415-3415 |
Sol is an orbits of planet jupiter |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3413-3413 |
Sol is an orbits of planet mars |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3409-3409 |
Sol is an orbits of planet mercury |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3419-3419 |
Sol is an orbits of planet neptune |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3423-3423 |
Sol is an orbits of planet pluto |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3417-3417 |
Sol is an orbits of planet saturn |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3421-3421 |
Sol is an orbits of planet uranus |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3411-3411 |
Sol is an orbits of planet venus |