No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2781-2786 |
An object is a length measure above the ground if and only if there exists a self connected object such that the altitude of the object is the self connected object and the self connected object is a surface of planet earth |
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 |
|