| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10595-10595 | 加入一个机构 是 机构性过程 的 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 21938-21938 | 浸润 是 加入一个机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10730-10730 | 被大学录取 是 加入一个机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10741-10741 | 雇佣 是 加入一个机构 的 subclass |
|
|