No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12030-12030 |
KadiweuLanguage est une instance de GuaicuruanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12040-12040 |
MocoviLanguage est une instance de GuaicuruanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12047-12047 |
PilagaLanguage est une instance de GuaicuruanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12057-12057 |
TobaLanguage est une instance de GuaicuruanLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26862-26862 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26861-26861 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26860-26860 |
|