No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7991-7991 |
施洗 是 Ceremony 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 65-65 |
BarMitzvah 是 Ceremony 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 95-95 |
BatMitzvah 是 Ceremony 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1371-1371 |
Coronation 是 Ceremony 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16002-16002 |
葬礼 是 Ceremony 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7960-7960 |
婚礼 是 Ceremony 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64608-64608 |
|