No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16288-16288 |
开始运营 是 机构性过程 的 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. |
Mid-level-ontology.kif 16326-16326 |
停止运营 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10551-10551 |
选举 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2395-2395 |
出口 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10681-10681 |
Firing 是 机构性过程 的 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. |
Merge.kif 10605-10605 |
雇佣 是 机构性过程 的 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. |
Mid-level-ontology.kif 16911-16911 |
劳工引人注目 是 机构性过程 的 subclass |
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 10826-10826 |
管理 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10811-10811 |
军事过程 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16301-16301 |
组织合并 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10750-10750 |
政治过程 是 机构性过程 的 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. |
Merge.kif 10557-10557 |
宗教过程 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16943-16943 |
转移位置 是 机构性过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1094-1094 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1399-1399 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 772-772 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 304-304 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 307-307 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2456-2456 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |