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 7992-7992 | Baptizing is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7993-7993 | Baptizing is a subclass of joining an organization |