No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5992-5992 |
ArikaraLanguage est une instance de PawneeGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6005-6005 |
PawneeLanguage est une instance de PawneeGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44850-44850 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44849-44849 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44848-44848 |
|