No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13328-13328 |
TepehuaGroupLanguage e' uma sub-classe de TotonacanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13366-13366 |
TotonacGroupLanguage e' uma sub-classe de TotonacanLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58616-58616 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58615-58615 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58614-58614 |
|