No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14090-14090 |
OcainaGroupLanguage e' uma sub-classe de WitotoGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14110-14110 |
WitotoProperLanguage e' uma sub-classe de WitotoGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63279-63279 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63278-63278 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63277-63277 |
|