| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10645-10645 | 离开一个机构 是 机构性过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10661-10661 | Quitting 是 离开一个机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10697-10697 | 毕业 是 离开一个机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10734-10734 | 离职 是 离开一个机构 的 subclass |
|
|