DirectionalAttribute
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3802-3803 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17001-17002 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10864-10864 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9984-9984 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17000-17000 | Directional attribute is a subclass of positional attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17022-17022 | East is an instance of directional attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17011-17011 | North is an instance of directional attribute |
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 3682-3682 | Northwest is an instance of directional attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17015-17015 | South is an instance of directional attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3659-3659 | Southeast is an instance of directional attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3670-3670 | Southwest is an instance of directional attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17025-17025 | West is an instance of directional attribute |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1237-1237 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1695-1695 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 915-915 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 448-448 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 451-451 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2599-2599 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 867-867 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 453-453 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 487-487 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 936-936 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 452-452 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1277-1277 | The number 4 argument of Acceleration fn is an instance of directional attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 477-477 | The number 1 argument of directional subregion is an instance of directional attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 406-406 | The number 1 argument of latitude is an instance of directional attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 444-444 | The number 1 argument of longitude is an instance of directional attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6671-6671 | The number 4 argument of velocity is an instance of directional attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16955-16955 | The number 2 argument of faces is an instance of directional attribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 253-253 | The number 3 argument of high altitude wind velocity is an instance of directional attribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 204-204 | The number 3 argument of low altitude wind velocity is an instance of directional attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3770-3770 | The number 3 argument of magnetic variation is an instance of directional attribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 230-230 | The number 3 argument of medium altitude wind velocity is an instance of directional attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1688-1688 | The number 2 argument of slope gradient towards orientation is an instance of directional attribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 169-169 | The number 2 argument of surface wind direction is an instance of directional attribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 106-106 | The number 3 argument of surface wind velocity is an instance of directional attribute |
antecedent |
consequent |