No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17071-17071 |
以上 是 位置属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17084-17084 |
下面 是 位置属性 的 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 19233-19233 |
楼下 是 位置属性 的 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 17040-17040 |
横 是 位置属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9089-9089 |
内 是 位置属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17109-17109 |
左 是 位置属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9105-9105 |
外 是 位置属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17116-17116 |
右 是 位置属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2249-2249 |
直角 是 位置属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26004-26004 |
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 19216-19216 |
楼上 是 位置属性 的 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 17032-17032 |
垂直 是 位置属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17060-17060 |
AntiSymmetricPositionalAttribute 是 位置属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17000-17000 |
方向属性 是 位置属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4944-4944 |
RotationalAttribute 是 位置属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17049-17049 |
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 |