No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16347-16347 |
祖先 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24166-24166 |
祖先组织 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10660-10660 |
antagonistMuscles 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1716-1716 |
属于 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8097-8097 |
之前 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16500-16500 |
哥哥 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16809-16809 |
classmate 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16830-16830 |
colleague 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6491-6491 |
共轭 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16093-16093 |
相连工程子组件 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7711-7711 |
顾客 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2615-2615 |
降低可能性 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4544-4544 |
外交关系 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 410-410 |
不相交关系 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8307-8307 |
在这时间内 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8369-8369 |
更早 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2370-2370 |
出口伙伴 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8067-8067 |
完成 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5887-5887 |
图形部分 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1845-1845 |
大于 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4389-4389 |
hinders 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4307-4307 |
hindersSubclass 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8422-8422 |
敌对势力 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16570-16570 |
丈夫 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2658-2658 |
进口伙伴 是 非自反关系 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |