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. | Mid-level-ontology.kif 14233-14233 | 声明 是 句子 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14250-14250 | 题 是 句子 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14261-14261 | 假想 是 句子 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14272-14272 | 请求 是 句子 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14283-14283 | 订购 是 句子 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1547-1547 | 公式 是 句子 的 subclass |