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