No TPTP formula. May not be expressible in strict first order. | Merge.kif 10557-10557 | 机构性过程 是 有意图过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2248-2248 | 汽车配送系统 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1375-1375 | 公共计划 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 932-932 | 创建 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16287-16287 | 开始运营 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16300-16300 | 组织合并 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16325-16325 | 停止运营 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16910-16910 | 劳工引人注目 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16942-16942 | 转移位置 是 机构性过程 的 subclass |
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. | Merge.kif 10579-10579 | 宗教过程 是 机构性过程 的 subclass |
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. | Merge.kif 10627-10627 | 雇佣 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10667-10667 | 离开一个机构 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10703-10703 | Firing 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10772-10772 | 政治过程 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10833-10833 | 军事过程 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10848-10848 | 管理 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2395-2395 | 出口 是 机构性过程 的 subclass |