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 15316-15316 | 动词短语 是 短语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15327-15327 | 名词短语 是 短语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15348-15348 | 介词短语 是 短语 的 subclass |