No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6642-6642 |
子類 苗族語言 and LanguageFamily |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6710-6710 |
子類 印度歐洲語言 and LanguageFamily |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11122-11122 |
子類 iroquoian語言 and LanguageFamily |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12654-12654 |
子類 中西藏語 and LanguageFamily |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65098-65098 |
|