No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6442-6442 |
ManikionLanguage est une instance de EastBirdsHeadLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6450-6450 |
MeyahLanguage est une instance de EastBirdsHeadLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6460-6460 |
MoskonaLanguage est une instance de EastBirdsHeadLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20832-20832 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20831-20831 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20830-20830 |
|