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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OrganizationalProcess
OrganizationalProcess(organizational process)acceptance_sampling, act, ad_blitz, ad_campaign, advertising_campaign, affiance, affiliate, affiliation, allotted, anodise, anodize, appointed, appointive, assigned, assignment, bank, bank_closing, betroth, brigade, centralised, centralized, charge, cheerlead, choose_up, clampdown, clock_in, clock_on, closure, cloture, co-opt, co-sign, collectivise, collectivize, commission, confirm, consolidate, convene, cosign, criminalisation, criminalization, criticise, criticize, cross-file, da'wah, dawah, decentralised, decentralized, decriminalisation, decriminalization, demob...

VerbNet: masquerade-29.6|act, amalgamate-22.2|engage, amalgamate-22.2|affiliate, amalgamate-22.2|engage, amalgamate-22.2|consolidate, herd-47.5.2|convene, judgment-33|criticize, judgment-33|criticize, build-26.1|develop, illustrate-25.3|endorse, hire-13.5.3|enlist, hire-13.5.3|enlist, remedy-45.7|federalize, remedy-45.7|federalize, remedy-45.7|federalize, masquerade-29.6|officiate, illustrate-25.3|endorse, build-26.1|develop, appoint-29.1|nominate, masquerade-29.6|officiate, other_cos-45.4|unionize, other_cos-45.4|unionize, investigate-35.4|picket, put-9.1|station, amalgamate-22.2|engage, put-9.1|station, appoint-29.1|nominate, appoint-29.1|nominate, create-26.4|reorganize, create-26.4|reorganize, create-26.4|reorganize, put-9.1|station, create-26.4|reorganize, put-9.1|station,


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


(documentation OrganizationalProcess ChineseLanguage "") chinese_format.kif 2942-2942
(documentation OrganizationalProcess EnglishLanguage "An IntentionalProcess that involves an Organization.") Merge.kif 9885-9886
(subclass OrganizationalProcess IntentionalProcess) Merge.kif 9883-9883 Organizational process is a subclass of intentional process

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


(subclass BeginningOperations OrganizationalProcess) Mid-level-ontology.kif 13935-13935 Beginning operations is a subclass of organizational process
(subclass CarDistributionSystem OrganizationalProcess) Transportation.kif 2237-2237 Car distribution system is a subclass of organizational process
(subclass CeasingOperations OrganizationalProcess) Mid-level-ontology.kif 13973-13973 Ceasing operations is a subclass of organizational process
(subclass Election OrganizationalProcess) Merge.kif 9899-9899 Election is a subclass of organizational process
(subclass Founding OrganizationalProcess) Mid-level-ontology.kif 1316-1316 Founding is a subclass of organizational process
(subclass JoiningAnOrganization OrganizationalProcess) Merge.kif 9921-9921 Joining an organization is a subclass of organizational process
(subclass LaborStriking OrganizationalProcess) Mid-level-ontology.kif 14467-14467 Labor striking is a subclass of organizational process
(subclass LeavingAnOrganization OrganizationalProcess) Merge.kif 9936-9936 Leaving an organization is a subclass of organizational process
(subclass Managing OrganizationalProcess) Merge.kif 10079-10079 Managing is a subclass of organizational process
(subclass MilitaryProcess OrganizationalProcess) Merge.kif 10064-10064 Military process is a subclass of organizational process
(subclass OrganizationalMerging OrganizationalProcess) Mid-level-ontology.kif 13948-13948 Organizational merging is a subclass of organizational process
(subclass PoliticalProcess OrganizationalProcess) Merge.kif 10005-10005 Political process is a subclass of organizational process
(subclass PublicProgram OrganizationalProcess) MilitaryProcesses.kif 1374-1374 Public program is a subclass of organizational process
(subclass ReligiousProcess OrganizationalProcess) Merge.kif 9905-9905 Religious process is a subclass of organizational process
(subclass TransferringPosition OrganizationalProcess) Mid-level-ontology.kif 14499-14499 Transferring position is a subclass of organizational process
(termFormat ChineseLanguage OrganizationalProcess "机构性过程") chinese_format.kif 1094-1094
(termFormat EnglishLanguage OrganizationalProcess "organizational process") english_format.kif 1404-1404

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


(domain afterTaxIncome 3 OrganizationalProcess) FinancialOntology.kif 3225-3225 The number 3 argument of after tax income is an instance of organizational process
(domain beforeTaxIncome 3 OrganizationalProcess) FinancialOntology.kif 3242-3242 The number 3 argument of before tax income is an instance of organizational process
(domain incomeEarned 3 OrganizationalProcess) FinancialOntology.kif 3191-3191 The number 3 argument of income earned is an instance of organizational process
(domain taxDeferredIncome 3 OrganizationalProcess) FinancialOntology.kif 3205-3205 The number 3 argument of tax deferred income is an instance of organizational process

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


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


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners