No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6497-6497 |
CuibaLanguage est une instance de GuahibanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6515-6515 |
GuahiboLanguage est une instance de GuahibanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6535-6535 |
GuayaberoLanguage est une instance de GuahibanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6548-6548 |
MacaguanLanguage est une instance de GuahibanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6558-6558 |
PlayeroLanguage est une instance de GuahibanLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26850-26850 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26849-26849 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26848-26848 |
|