No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11659-11659 |
BaibaiGroupLanguage est une sous-classe de KiowaTanoanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11680-11680 |
KwomtariGroupLanguage est une sous-classe de KiowaTanoanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11712-11712 |
PyuGroupLanguage est une sous-classe de KiowaTanoanLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32581-32581 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32580-32580 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32579-32579 |
|