| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17093-17093 |
以上 是 位置属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17106-17106 |
下面 是 位置属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1703-1703 |
下坡 是 位置属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19232-19232 |
楼下 是 位置属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5459-5459 |
下游 是 位置属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 281-281 |
顺风 是 位置属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17062-17062 |
横 是 位置属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9088-9088 |
内 是 位置属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17131-17131 |
左 是 位置属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9104-9104 |
外 是 位置属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17138-17138 |
右 是 位置属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2255-2255 |
直角 是 位置属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25992-25992 |
Surrounded 是 位置属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1697-1697 |
上坡 是 位置属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19215-19215 |
楼上 是 位置属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5457-5457 |
上游 是 位置属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 273-273 |
上风 是 位置属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17054-17054 |
垂直 是 位置属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17082-17082 |
AntiSymmetricPositionalAttribute 是 位置属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17022-17022 |
方向属性 是 位置属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4952-4952 |
RotationalAttribute 是 位置属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17071-17071 |
SymmetricPositionalAttribute 是 位置属性 的 subclass |
| 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 |
PositionalAttribute