No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16346-16346 |
祖先 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24165-24165 |
祖先组织 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8098-8098 |
之前 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16501-16501 |
哥哥 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6493-6493 |
共轭 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11956-11956 |
connectedBodyPart 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29742-29742 |
covers 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4199-4199 |
横过 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 457-457 |
依赖的地缘政治区域 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14320-14320 |
发育形态 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8305-8305 |
在这时间内 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8368-8368 |
更早 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8066-8066 |
完成 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5425-5425 |
流动 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14043-14043 |
地理分区域 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14088-14088 |
地缘政治分区 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1844-1844 |
大于 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9694-9694 |
内在部分 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7749-7749 |
更大 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1832-1832 |
少于 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4071-4071 |
位于 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4895-4895 |
乘法因子 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4292-4292 |
先备条件 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 927-927 |
真正的部分 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16510-16510 |
妹妹 是 传递关系 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |