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 | 方向属性 是 位置属性 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17022-17022 | 东 是 方向属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17011-17011 | 北 是 方向属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3648-3648 | 东北 是 方向属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3682-3682 | 西北 是 方向属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17015-17015 | 南 是 方向属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3659-3659 | 东南 是 方向属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3670-3670 | 西南 是 方向属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17025-17025 | 西方 是 方向属性 的 instance |
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 数量 是 方向属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 477-477 | 定向分区域 的 1 数量 是 方向属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 406-406 | 纬度 的 1 数量 是 方向属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 444-444 | 经度 的 1 数量 是 方向属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6671-6671 | 速度函数 的 4 数量 是 方向属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16955-16955 | 面向 的 2 数量 是 方向属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 253-253 | 高空风速率 的 3 数量 是 方向属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 204-204 | 低空风速 的 3 数量 是 方向属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3770-3770 | 磁变化 的 3 数量 是 方向属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 230-230 | 中等海拔风速率 的 3 数量 是 方向属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1688-1688 | 坡度梯度朝向 的 2 数量 是 方向属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 169-169 | 地面风向 的 2 数量 是 方向属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 106-106 | 地面风速率 的 3 数量 是 方向属性 的 instance |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17004-17009 | |
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 |
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. | Mid-level-ontology.kif 18150-18184 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 627-646 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2264-2269 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11279-11290 |