| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22976-22976 |
例 同居 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6491-6491 |
例 共軛 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9524-9524 |
例 連接的 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16114-16114 |
例 連接的工程組件 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16925-16925 |
例 一貫 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22953-22953 |
例 同事 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 23360-23360 |
例 國內的合作夥伴 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 22941-22941 |
例 朋友 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 16540-16540 |
例 法律關係 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9594-9594 |
例 空間的符合 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16567-16567 |
例 相識熟人 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23345-23345 |
例 相互陌生的人 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6662-6662 |
例 鄰居 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18123-18123 |
例 相反的方向 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 9632-9632 |
例 部分重疊 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 8248-8248 |
例 暫時重疊 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 16485-16485 |
例 兄弟 and SymmetricRelation |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
