No TPTP formula. May not be expressible in strict first order. | Merge.kif 1405-1405 | 语言 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1413-1413 | WrittenLanguage 是 语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1415-1415 | 兽语 是 语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1429-1429 | 人造语言 是 语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1446-1446 | 人类语言 是 语言 的 subclass |