No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5774-5774 |
AndaquiGroupLanguage e' uma sub-classe de BarbacoanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5787-5787 |
CayapaColoradoLanguage e' uma sub-classe de BarbacoanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5816-5816 |
CoconucanLanguage e' uma sub-classe de BarbacoanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5838-5838 |
PastoLanguage e' uma sub-classe de BarbacoanLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9864-9864 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9863-9863 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9862-9862 |
|