Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  OrganizationalProcess

Sigma KEE - OrganizationalProcess
OrganizationalProcess

appearance as argument number 1
-------------------------


(documentation OrganizationalProcess ChineseLanguage "") chinese_format.kif 2942-2942
(documentation OrganizationalProcess EnglishLanguage "An IntentionalProcess that involves an Organization.") Merge.kif 10559-10560
(documentation OrganizationalProcess JapaneseLanguage "Organization を含む  IntentionalProcess 。") japanese_format.kif 1695-1696
(subclass OrganizationalProcess IntentionalProcess) Merge.kif 10557-10557 子類 OrganizationalProcess and IntentionalProcess

appearance as argument number 2
-------------------------


(subclass BeginningOperations OrganizationalProcess) Mid-level-ontology.kif 16287-16287 子類 開始運營 and OrganizationalProcess
(subclass CarDistributionSystem OrganizationalProcess) Transportation.kif 2248-2248 子類 汽車配送系統 and OrganizationalProcess
(subclass CeasingOperations OrganizationalProcess) Mid-level-ontology.kif 16325-16325 子類 停止運營 and OrganizationalProcess
(subclass Election OrganizationalProcess) Merge.kif 10573-10573 子類 選舉 and OrganizationalProcess
(subclass Exporting OrganizationalProcess) Economy.kif 2395-2395 子類 出口 and OrganizationalProcess
(subclass Firing OrganizationalProcess) Merge.kif 10703-10703 子類 Firing and OrganizationalProcess
(subclass Founding OrganizationalProcess) Mid-level-ontology.kif 932-932 子類 創建 and OrganizationalProcess
(subclass Hiring OrganizationalProcess) Merge.kif 10627-10627 子類 Hiring and OrganizationalProcess
(subclass JoiningAnOrganization OrganizationalProcess) Merge.kif 10595-10595 子類 JoiningAnOrganization and OrganizationalProcess
(subclass LaborStriking OrganizationalProcess) Mid-level-ontology.kif 16910-16910 子類 勞工引人注目 and OrganizationalProcess
(subclass LeavingAnOrganization OrganizationalProcess) Merge.kif 10667-10667 子類 LeavingAnOrganization and OrganizationalProcess
(subclass Managing OrganizationalProcess) Merge.kif 10848-10848 子類 Managing and OrganizationalProcess
(subclass MilitaryProcess OrganizationalProcess) Merge.kif 10833-10833 子類 MilitaryProcess and OrganizationalProcess
(subclass OrganizationalMerging OrganizationalProcess) Mid-level-ontology.kif 16300-16300 子類 組織合併 and OrganizationalProcess
(subclass PoliticalProcess OrganizationalProcess) Merge.kif 10772-10772 子類 PoliticalProcess and OrganizationalProcess
(subclass PublicProgram OrganizationalProcess) MilitaryProcesses.kif 1375-1375 子類 公共計劃 and OrganizationalProcess
(subclass ReligiousProcess OrganizationalProcess) Merge.kif 10579-10579 子類 ReligiousProcess and OrganizationalProcess
(subclass TransferringPosition OrganizationalProcess) Mid-level-ontology.kif 16942-16942 子類 轉移位置 and OrganizationalProcess
(termFormat ChineseLanguage OrganizationalProcess "机构性过程") chinese_format.kif 1094-1094
(termFormat EnglishLanguage OrganizationalProcess "organizational process") english_format.kif 1399-1399
(termFormat FrenchLanguage OrganizationalProcess "processus organisationnel") french_format.kif 772-772
(termFormat Hindi OrganizationalProcess "sangathan sanbandhii prakriyaa") terms-hindi.txt 304-304
(termFormat ItalianLanguage OrganizationalProcess "ProcessoOrganizzativo") terms-it.txt 307-307
(termFormat JapaneseLanguage OrganizationalProcess "組織プロセス") japanese_format.kif 2456-2456

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain afterTaxIncome 3 OrganizationalProcess) FinancialOntology.kif 3327-3327 稅後收入, 3 and OrganizationalProcess
(domain beforeTaxIncome 3 OrganizationalProcess) FinancialOntology.kif 3347-3347 稅前收入, 3 and OrganizationalProcess
(domain incomeEarned 3 OrganizationalProcess) FinancialOntology.kif 3293-3293 賺的收入, 3 and OrganizationalProcess
(domain taxDeferredIncome 3 OrganizationalProcess) FinancialOntology.kif 3307-3307 稅收遞延收入, 3 and OrganizationalProcess

antecedent
-------------------------


(=>
    (and
        (instance ?ACT OrganizationalProcess)
        (agent ?ACT ?AGENT))
    (or
        (instance ?AGENT Organization)
        (exists (?ORG)
            (and
                (instance ?ORG Organization)
                (member ?AGENT ?ORG)))))
Merge.kif 10562-10571


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners