| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7920-7920 | Ceremony is a subclass of intentional process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7921-7921 | Ceremony is a subclass of social interaction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7960-7960 | Wedding is a subclass of ceremony |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7991-7991 | Baptizing is a subclass of ceremony |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16002-16002 | Funeral is a subclass of ceremony |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1371-1371 | Coronation is a subclass of ceremony |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 65-65 | BarMitzvah is a subclass of ceremony |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 95-95 | BatMitzvah is a subclass of ceremony |
|
|