No TPTP formula. May not be expressible in strict first order. | Languages.kif 9746-9746 | Oiel语言 是 加洛拉蒂安语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9752-9752 | 法语小组语言 是 oiel语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9937-9937 | 东南地区的语言 是 oiel语言 的 subclass |