No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16001-16001 | 葬礼 是 Ceremony 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16002-16002 | 葬礼 是 正式会议 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16013-16013 | Burial 是 葬礼 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16023-16023 | ReligiousFuneral 是 葬礼 的 subclass |
![]() |