No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6576-6576 |
AtakapaLanguage e' uma instancia de GulfLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6584-6584 |
ChitimachaLanguage e' uma instancia de GulfLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6591-6591 |
NatchezLanguage e' uma instancia de GulfLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6598-6598 |
TunicaLanguage e' uma instancia de GulfLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27048-27048 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27047-27047 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27046-27046 |
|