No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3739-3741 |
courseWRTTrueNorth Objeto, Objeto and 180.0 AngularDegree(s) Objeto e' South em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17089-17091 |
Objeto e' North em relacao a Objeto Objeto e' South em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3664-3668 |
Objeto e' Southeast em relacao a Objeto Objeto e' South em relacao a Objeto Objeto e' East em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3676-3680 |
Objeto e' Southwest em relacao a Objeto Objeto e' South em relacao a Objeto Objeto e' West em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 292-296 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3595-3615 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 611-630 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 421-425 |
|