No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5992-5992 |
例 arikara語言 and pawnee 團體語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6005-6005 |
例 pawnee語言 and pawnee 團體語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44852-44852 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44851-44851 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44850-44850 |
|