No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13698-13698 |
Karon dori language is an instance of central birds head language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13684-13684 |
Mai brat language is an instance of central birds head language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13842-13842 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13841-13841 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13840-13840 |
|