| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16001-16001 | Funeral e' uma sub-classe de Ceremony |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16002-16002 | Funeral e' uma sub-classe de FormalMeeting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16013-16013 | Burial e' uma sub-classe de Funeral |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16023-16023 | ReligiousFuneral e' uma sub-classe de Funeral |
|
|