| 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 7921-7921 | Ceremony 是 社交 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7960-7960 | 婚礼 是 Ceremony 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7991-7991 | 施洗 是 Ceremony 的 subclass |
| 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. | 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 |
|
|