No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6442-6442 |
Manikion language is an instance of east birds head language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6450-6450 |
Meyah language is an instance of east birds head language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6460-6460 |
Moskona language is an instance of east birds head language |
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 |
|