| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7991-7991 | Baptizing est une sous-classe de Ceremony |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7992-7992 | Baptizing est une sous-classe de processus religieux |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7993-7993 | Baptizing est une sous-classe de adh�rer une organisation |
|
|