| 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. | Mid-level-ontology.kif 7992-7992 | 施洗 是 宗教过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7993-7993 | 施洗 是 加入一个机构 的 subclass |
|
|