No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22977-22977 |
同居 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6492-6492 |
共轭 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9502-9502 |
相连 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16092-16092 |
相连工程子组件 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16903-16903 |
一贯 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22954-22954 |
同事 是 对称关系 的 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 23361-23361 |
国内的合作伙伴 是 对称关系 的 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 22942-22942 |
朋友 是 对称关系 的 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 16518-16518 |
法律关系 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9572-9572 |
接触 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16545-16545 |
相识熟人 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23346-23346 |
相互陌生的人 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6663-6663 |
邻居 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18124-18124 |
相反的方向 是 对称关系 的 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 9610-9610 |
部分重叠 是 对称关系 的 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 8226-8226 |
在时间上重叠 是 对称关系 的 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 16463-16463 |
兄弟姐妹 是 对称关系 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |