| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19465-19465 | 子類 字母字符 and Character |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19473-19473 | 子類 輔音 and 字母字符 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19477-19477 | 子類 元音 and 字母字符 |
|
|