No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14170-14170 |
NinamLanguage e' uma instancia de YanomamLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14185-14185 |
SanumaLanguage e' uma instancia de YanomamLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14198-14198 |
YanomamiLanguage e' uma instancia de YanomamLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14209-14209 |
YanomamoLanguage e' uma instancia de YanomamLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63697-63697 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63696-63696 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63695-63695 |
|