| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12973-12973 |
ExpressingApproval est une sous-classe de exprimer |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12986-12986 |
ExpressingDisapproval est une sous-classe de exprimer |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13011-13011 |
ExpressingFarewell est une sous-classe de exprimer |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13160-13160 |
ExpressingInLanguage est une sous-classe de exprimer |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13193-13193 |
Greeting est une sous-classe de exprimer |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1204-1204 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1625-1625 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 882-882 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 415-415 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 418-418 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2566-2566 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 834-834 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 420-420 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 454-454 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 903-903 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 419-419 |
|
