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 est une sous-relation de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2446-2446 |
destination est une sous-relation de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16940-16940 |
direction est une sous-relation de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4117-4117 |
eventPartlyLocated est une sous-relation de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2460-2460 |
experiencer est une sous-relation de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10987-10987 |
moves est une sous-relation de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2484-2484 |
origin est une sous-relation de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2497-2497 |
patient est une sous-relation de involvedInEvent |
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 |
|