|
|
   Funeral
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16031-16032 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3082-3082 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3081-3081 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3080-3080 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2953-2953 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16029-16029 | 葬礼 是 Ceremony 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16030-16030 | 葬礼 是 正式会议 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16041-16041 | Burial 是 葬礼 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16051-16051 | ReligiousFuneral 是 葬礼 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25220-25220 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25219-25219 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25218-25218 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16034-16039 |
|
|
|
