| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23029-23029 |
例 同居 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6486-6486 |
例 共軛 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9538-9538 |
例 連接的 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16164-16164 |
例 連接的工程組件 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16974-16974 |
例 一貫 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23006-23006 |
例 同事 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4507-4507 |
例 外交關係 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 23413-23413 |
例 國內的合作夥伴 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 22994-22994 |
例 朋友 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 16589-16589 |
例 法律關係 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9608-9608 |
例 空間的符合 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16616-16616 |
例 相識熟人 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23398-23398 |
例 相互陌生的人 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6657-6657 |
例 鄰居 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18151-18151 |
例 相反的方向 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 9646-9646 |
例 部分重疊 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4036-4036 |
例 在空間上重疊 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8262-8262 |
例 暫時重疊 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3768-3768 |
例 相關事件 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16534-16534 |
例 兄弟 and SymmetricRelation |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
SymmetricRelation