Southwest
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3673-3674 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10269-10269 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11882-11882 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3670-3670 | Southwest is an instance of directional attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3671-3671 | Southwest is an opposite direction of northeast |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54336-54336 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54335-54335 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54334-54334 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 285-285 | Middle east region is southwest to asia |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6953-6953 | Northern ireland is southwest to scotland |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 284-284 | Oceania is southwest to north america |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3676-3680 | An object is southwest to another object if and only if the object is south to the other object and the object is west to the other object |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3759-3761 | An object courseWRT true north another object for 225.0 angular degree(s) if and only if the object is southwest to the other object |