No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7990-7990 |
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 1371-1371 |
Coronation is a subclass of ceremony |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16001-16001 |
Funeral is a subclass of ceremony |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7959-7959 |
Wedding is a subclass of ceremony |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64608-64608 |
|