| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15464-15464 | 句子 是 语言式表达 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14232-14232 | 声明 是 句子 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14249-14249 | 题 是 句子 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14260-14260 | 假想 是 句子 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14271-14271 | 请求 是 句子 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14282-14282 | 订购 是 句子 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1547-1547 | 公式 是 句子 的 subclass |
|
|