No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3739-3741 |
courseWRTTrueNorth objet, objet and 180.0 AngularDegree(s) objet est South � objet |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17089-17091 |
Objet est North � objet objet est South � objet |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3664-3668 |
Objet est Southeast � objet objet est South � objet objet est East � objet |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3676-3680 |
Objet est Southwest � objet objet est South � objet objet est West � objet |
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 |
|