No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1389-1389 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1388-1388 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1387-1387 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2435-2435 |
子關係 agent and 參與活動 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2446-2446 |
子關係 目的地 and 參與活動 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16940-16940 |
子關係 方向 and 參與活動 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4117-4117 |
子關係 eventPartlyLocated and 參與活動 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2460-2460 |
子關係 體驗者 and 參與活動 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10987-10987 |
子關係 移動 and 參與活動 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2484-2484 |
子關係 起源 and 參與活動 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2497-2497 |
子關係 患者 and 參與活動 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30901-30901 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30900-30900 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30899-30899 |
|