Northeast
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3650-3651 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11516-11516 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10153-10153 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3648-3648 | Northeast is an instance of directional attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3671-3671 | Southwest is an opposite direction of northeast |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41007-41007 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41006-41006 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41005-41005 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 280-280 | Africa is northeast to south america |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 283-283 | Europe is northeast to south america |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 286-286 | Middle east region is northeast to africa |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3653-3657 | An object is northeast to another object if and only if the object is north to the other object and the object is east to the other object |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3751-3753 | An object courseWRT true north another object for 45.0 angular degree(s) if and only if the object is northeast to the other object |