No TPTP formula. May not be expressible in strict first order. |
Media.kif 2939-2939 |
AlphaNumericString est une sous-classe de expression linguistique |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2902-2902 |
AlphabeticString est une sous-classe de expression linguistique |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1405-1405 |
Langage est une sous-classe de expression linguistique |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15274-15274 |
Morph�me est une sous-classe de expression linguistique |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15301-15301 |
Phrase est une sous-classe de expression linguistique |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24847-24847 |
PostalAddressText est une sous-classe de expression linguistique |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15442-15442 |
Phrase est une sous-classe de expression linguistique |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15359-15359 |
Texte est une sous-classe de expression linguistique |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1543-1543 |
Mot est une sous-classe de expression linguistique |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 838-838 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 878-878 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 514-514 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 46-46 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 49-49 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2199-2199 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 466-466 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 81-81 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 535-535 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 50-50 |
|