No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14656-14656 |
例 MongolianLanguage and 阿爾泰語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5106-5106 |
子類 土耳其語 and 阿爾泰語 |
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 |
|