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