No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6642-6642 |
苗族语言 是 LanguageFamily 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6710-6710 |
印度欧洲语言 是 LanguageFamily 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11122-11122 |
Iroquoian语言 是 LanguageFamily 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12654-12654 |
中西藏语 是 LanguageFamily 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65096-65096 |
|