No TPTP formula. May not be expressible in strict first order. | Languages.kif 14083-14083 | Witoto 团体语言 是 witotoan语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14090-14090 | Ocaina集团的语言 是 witoto 团体语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14110-14110 | Witoto 恰当的语言 是 witoto 团体语言 的 subclass |