No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5961-5961 |
NorthernCaddoanLanguage est une sous-classe de CaddoanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6031-6031 |
SouthernCaddoanLanguage est une sous-classe de CaddoanLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12625-12625 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12624-12624 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12623-12623 |
|