No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14656-14656 |
Mongolian language is an instance of altaic language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5106-5106 |
Turkic language is a subclass of altaic language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6990-6990 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6989-6989 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6988-6988 |
|