No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6289-6289 |
Alutor language is an instance of koryak alyutor language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6317-6317 |
Kerek language is an instance of koryak alyutor language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6304-6304 |
Koryak language is an instance of koryak alyutor language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32815-32815 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32814-32814 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32813-32813 |
|