No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16417-16417 |
祖先 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24222-24222 |
祖先组织 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8134-8134 |
之前 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16572-16572 |
哥哥 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6487-6487 |
共轭 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11983-11983 |
connectedBodyPart 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15947-15947 |
covers 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4200-4200 |
横过 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 421-421 |
依赖的地缘政治区域 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14366-14366 |
发育形态 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8341-8341 |
在这时间内 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8404-8404 |
更早 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8102-8102 |
完成 是 传递关系 的 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 14089-14089 |
地理分区域 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14134-14134 |
地缘政治分区 是 传递关系 的 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 9730-9730 |
内在部分 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7785-7785 |
更大 是 传递关系 的 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 4072-4072 |
位于 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4896-4896 |
乘法因子 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4293-4293 |
先备条件 是 传递关系 的 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 16581-16581 |
妹妹 是 传递关系 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |