No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8018-8018 |
Baptizing 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 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1335-1335 |
Coronation is a subclass of ceremony |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16029-16029 |
Funeral is a subclass of ceremony |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7987-7987 |
Wedding is a subclass of ceremony |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64610-64610 |
|