No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15303-15303 |
Adjectif est une sous-classe de mot |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15307-15307 |
Adverbe est une sous-classe de mot |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15294-15294 |
Nom est une sous-classe de mot |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3074-3074 |
Palindrome est une sous-classe de mot |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15311-15311 |
ParticleWord est une sous-classe de mot |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2504-2504 |
SearchTerm est une sous-classe de mot |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15299-15299 |
Verbe est une sous-classe de mot |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 846-846 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 894-894 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 522-522 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 53-53 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 56-56 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2207-2207 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 474-474 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 58-58 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 89-89 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 543-543 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 57-57 |
|