No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12743-12743 |
AssiniboineLanguage est une instance de DakotaGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12759-12759 |
DakotaLanguage est une instance de DakotaGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12778-12778 |
LakotaLanguage est une instance de DakotaGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12790-12790 |
StoneyLanguage est une instance de DakotaGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18402-18402 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18401-18401 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18400-18400 |
|