| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1397-1397 | 语言式表达 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24847-24847 | PostalAddressText 是 语言式表达 的 subclass |
| 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 1543-1543 | 字词 是 语言式表达 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15274-15274 | 词素 是 语言式表达 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15301-15301 | 短语 是 语言式表达 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15359-15359 | 文本 是 语言式表达 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15442-15442 | 句子 是 语言式表达 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2902-2902 | AlphabeticString 是 语言式表达 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2939-2939 | AlphaNumericString 是 语言式表达 的 subclass |
|
|