No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19493-19493 | 字母字符 是 字符 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19501-19501 | 辅音 是 字母字符 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19505-19505 | 元音 是 字母字符 的 subclass |