|
|
   PositionalAttribute
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3800-3801 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17018-17020 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17017-17017 | 子類 PositionalAttribute and RelationalAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17093-17093 | 例 以上 and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17106-17106 | 例 下面 and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1703-1703 | 例 下坡 and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19232-19232 | 例 樓下 and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5459-5459 | 例 下游 and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 281-281 | 例 順風 and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17062-17062 | 例 橫 and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9088-9088 | 例 內 and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17131-17131 | 例 左 and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9104-9104 | 例 外 and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17138-17138 | 例 右 and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2255-2255 | 例 直角 and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25992-25992 | 例 Surrounded and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1697-1697 | 例 上坡 and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19215-19215 | 例 樓上 and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5457-5457 | 例 上游的 and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 273-273 | 例 上風 and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17054-17054 | 例 垂直 and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17082-17082 | 子類 AntiSymmetricPositionalAttribute and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17022-17022 | 子類 DirectionalAttribute and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4952-4952 | 子類 RotationalAttribute and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17071-17071 | 子類 SymmetricPositionalAttribute and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1236-1236 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1693-1693 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16961-16961 | 域 方向, 2 and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18125-18125 | 域 相反的方向, 1 and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18126-18126 | 域 相反的方向, 2 and PositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16936-16936 | 域 方位, 3 and PositionalAttribute |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18135-18140 |
|
|
|