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 17023-17024 | |
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 17022-17022 | 子類 DirectionalAttribute and PositionalAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17044-17044 | 例 東 and DirectionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17033-17033 | 例 北 and DirectionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3648-3648 | 例 東北 and DirectionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3682-3682 | 例 西北 and DirectionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17037-17037 | 例 南 and DirectionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3659-3659 | 例 東南 and DirectionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3670-3670 | 例 西南 and DirectionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17047-17047 | 例 西方 and DirectionalAttribute |
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 | 域 AccelerationFn, 4 and DirectionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 477-477 | 域 定向分區域, 1 and DirectionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 406-406 | 域 緯度, 1 and DirectionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 444-444 | 域 經度, 1 and DirectionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6671-6671 | 域 速度, 4 and DirectionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16977-16977 | 域 面孔, 2 and DirectionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 253-253 | 域 高空風速率, 3 and DirectionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 204-204 | 域 低空風速, 3 and DirectionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3770-3770 | 域 磁變化, 3 and DirectionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 230-230 | 域 中等海拔風速率, 3 and DirectionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1688-1688 | 域 坡度梯度朝向, 2 and DirectionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 169-169 | 域 地面風向, 2 and DirectionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 106-106 | 域 地面風速率, 3 and DirectionalAttribute |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17026-17031 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 493-498 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 500-505 |
|
consequent |