No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11615-11615 |
EasternKeresLanguage est une instance de KeresLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11629-11629 |
WesternKeresLanguage est une instance de KeresLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32341-32341 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32340-32340 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32339-32339 |
|