No TPTP formula. May not be expressible in strict first order. | Merge.kif 10573-10573 | 加入一个机构 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7993-7993 | 施洗 是 加入一个机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21939-21939 | 浸润 是 加入一个机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10708-10708 | 被大学录取 是 加入一个机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10719-10719 | 雇佣 是 加入一个机构 的 subclass |