| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16287-16287 |
子類 開始運營 and OrganizationalProcess |
| No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2248-2248 |
子類 汽車配送系統 and OrganizationalProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16325-16325 |
子類 停止運營 and OrganizationalProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10573-10573 |
子類 選舉 and OrganizationalProcess |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2395-2395 |
子類 出口 and OrganizationalProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10703-10703 |
子類 Firing and OrganizationalProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 932-932 |
子類 創建 and OrganizationalProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10627-10627 |
子類 Hiring and OrganizationalProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10595-10595 |
子類 JoiningAnOrganization and OrganizationalProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16910-16910 |
子類 勞工引人注目 and OrganizationalProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10667-10667 |
子類 LeavingAnOrganization and OrganizationalProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10848-10848 |
子類 Managing and OrganizationalProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10833-10833 |
子類 MilitaryProcess and OrganizationalProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16300-16300 |
子類 組織合併 and OrganizationalProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10772-10772 |
子類 PoliticalProcess and OrganizationalProcess |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1375-1375 |
子類 公共計劃 and OrganizationalProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10579-10579 |
子類 ReligiousProcess and OrganizationalProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16942-16942 |
子類 轉移位置 and OrganizationalProcess |
| 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 |
OrganizationalProcess