| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7919-7919 | Ceremony 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7920-7920 | Ceremony 是 社交 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7959-7959 | 婚礼 是 Ceremony 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7990-7990 | 施洗 是 Ceremony 的 subclass |
| 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. | Government.kif 1371-1371 | Coronation 是 Ceremony 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 65-65 | BarMitzvah 是 Ceremony 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 95-95 | BatMitzvah 是 Ceremony 的 subclass |
|
|