No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12922-12922 |
子類 biloxi ofo 語言 and 東南部的siouan語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12940-12940 |
子類 tutelo集團的語言 and 東南部的siouan語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54128-54128 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54127-54127 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54126-54126 |
|