No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16002-16002 | 葬礼 是 Ceremony 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16003-16003 | 葬礼 是 正式会议 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16014-16014 | Burial 是 葬礼 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16024-16024 | ReligiousFuneral 是 葬礼 的 subclass |