No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22976-22976 |
同居 是 对称关系 的 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 9524-9524 |
相连 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16114-16114 |
相连工程子组件 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16925-16925 |
一贯 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22953-22953 |
同事 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4543-4543 |
外交关系 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 394-394 |
不相交 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23360-23360 |
国内的合作伙伴 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2450-2450 |
enemy 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22941-22941 |
朋友 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2632-2632 |
独立发生机率 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 109-109 |
逆向 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16540-16540 |
法律关系 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9594-9594 |
接触 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16567-16567 |
相识熟人 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23345-23345 |
相互陌生的人 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6662-6662 |
邻居 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18123-18123 |
相反的方向 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4444-4444 |
orthogonalTests 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9632-9632 |
部分重叠 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4035-4035 |
重叠 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8248-8248 |
在时间上重叠 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3767-3767 |
相关事件 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16485-16485 |
兄弟姐妹 是 对称关系 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |