No TPTP formula. May not be expressible in strict first order. | Languages.kif 12647-12647 | LanguageFamily 是 自然语言 的 subclass |
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 |