No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8018-8018 |
Baptizing e' uma sub-classe de Ceremony |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 65-65 |
BarMitzvah e' uma sub-classe de Ceremony |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 95-95 |
BatMitzvah e' uma sub-classe de Ceremony |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1335-1335 |
Coronation e' uma sub-classe de Ceremony |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16029-16029 |
Funeral e' uma sub-classe de Ceremony |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7987-7987 |
Wedding e' uma sub-classe de Ceremony |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64610-64610 |
|