No TPTP formula. May not be expressible in strict first order. | Merge.kif 10557-10557 | 子類 OrganizationalProcess and IntentionalProcess |
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. | MilitaryProcesses.kif 1375-1375 | 子類 公共計劃 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. | Mid-level-ontology.kif 16287-16287 | 子類 開始運營 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. | Mid-level-ontology.kif 16325-16325 | 子類 停止運營 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. | Mid-level-ontology.kif 16942-16942 | 子類 轉移位置 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. | Merge.kif 10579-10579 | 子類 ReligiousProcess 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. | Merge.kif 10627-10627 | 子類 Hiring 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 10703-10703 | 子類 Firing 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. | Merge.kif 10833-10833 | 子類 MilitaryProcess 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. | Economy.kif 2395-2395 | 子類 出口 and OrganizationalProcess |
![]() |