| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22977-22977 |
例 同居 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6492-6492 |
例 共軛 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9502-9502 |
例 連接的 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16092-16092 |
例 連接的工程組件 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16903-16903 |
例 一貫 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22954-22954 |
例 同事 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4543-4543 |
例 外交關係 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 394-394 |
例 不相交的 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23361-23361 |
例 國內的合作夥伴 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2450-2450 |
例 enemy and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22942-22942 |
例 朋友 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2632-2632 |
例 獨立概率 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 109-109 |
例 逆 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16518-16518 |
例 法律關係 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9572-9572 |
例 空間的符合 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16545-16545 |
例 相識熟人 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23346-23346 |
例 相互陌生的人 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6663-6663 |
例 鄰居 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18124-18124 |
例 相反的方向 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4444-4444 |
例 orthogonalTests and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9610-9610 |
例 部分重疊 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4035-4035 |
例 在空間上重疊 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8226-8226 |
例 暫時重疊 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3767-3767 |
例 相關事件 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16463-16463 |
例 兄弟 and SymmetricRelation |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
