No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14626-14626 |
Inuktitut language is an instance of eskimo aleut language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14629-14629 |
Inupiaq language is an instance of eskimo aleut language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14631-14631 |
Kalaallisut language is an instance of eskimo aleut language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22420-22420 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22419-22419 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22418-22418 |
|