No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14090-14090 |
OcainaGroupLanguage est une sous-classe de WitotoGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14110-14110 |
WitotoProperLanguage est une sous-classe de WitotoGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63281-63281 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63280-63280 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63279-63279 |
|