| No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2484-2484 |
allied est une instance de attitude d'objet |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7447-7447 |
dislikes est une instance de attitude d'objet |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2449-2449 |
enemy est une instance de attitude d'objet |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2748-2748 |
needs est une instance de attitude d'objet |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2761-2761 |
wants est une instance de attitude d'objet |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 909-909 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1025-1025 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 585-585 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 115-115 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 118-118 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2270-2270 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 537-537 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 152-152 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 606-606 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 119-119 |
|
