Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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, cross-file, da'wah, dawah, decentralised, decentralized, decriminalisation, decriminalization, demob, demobilise, demobilize...

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


(subclass OrganizationalProcess IntentionalProcess) Merge.kif 10781-10781 Organizational process is a subclass of intentional process
(documentation OrganizationalProcess EnglishLanguage "An IntentionalProcess that involves an Organization.") Merge.kif 10783-10784 Organizational process is a subclass of intentional process

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


(subclass Election OrganizationalProcess) Merge.kif 10797-10797 Election is a subclass of organizational process
(subclass ReligiousProcess OrganizationalProcess) Merge.kif 10803-10803 Religious process is a subclass of organizational process
(subclass JoiningAnOrganization OrganizationalProcess) Merge.kif 10819-10819 Joining an organization is a subclass of organizational process
(subclass Hiring OrganizationalProcess) Merge.kif 10852-10852 Hiring is a subclass of organizational process
(subclass LeavingAnOrganization OrganizationalProcess) Merge.kif 10892-10892 Leaving an organization is a subclass of organizational process
(subclass Firing OrganizationalProcess) Merge.kif 10928-10928 Firing is a subclass of organizational process
(subclass PoliticalProcess OrganizationalProcess) Merge.kif 10997-10997 Political process is a subclass of organizational process
(subclass MilitaryProcess OrganizationalProcess) Merge.kif 11058-11058 Military process is a subclass of organizational process
(subclass Managing OrganizationalProcess) Merge.kif 11073-11073 Managing is a subclass of organizational process
(subclass Founding OrganizationalProcess) Mid-level-ontology.kif 922-922 Founding is a subclass of organizational process
(subclass BeginningOperations OrganizationalProcess) Mid-level-ontology.kif 17921-17921 Beginning operations is a subclass of organizational process
(subclass OrganizationalMerging OrganizationalProcess) Mid-level-ontology.kif 17934-17934 Organizational merging is a subclass of organizational process
(subclass CeasingOperations OrganizationalProcess) Mid-level-ontology.kif 17959-17959 Ceasing operations is a subclass of organizational process
(subclass LaborStriking OrganizationalProcess) Mid-level-ontology.kif 18529-18529 Labor striking is a subclass of organizational process
(subclass TransferringPosition OrganizationalProcess) Mid-level-ontology.kif 18561-18561 Transferring position is a subclass of organizational process
(subclass Exporting OrganizationalProcess) Economy.kif 2630-2630 Exporting is a subclass of organizational process
(subclass Importing OrganizationalProcess) Economy.kif 2797-2797 Importing is a subclass of organizational process
(subclass PublicProgram OrganizationalProcess) MilitaryProcesses.kif 1397-1397 Public program is a subclass of organizational process
(subclass CarDistributionSystem OrganizationalProcess) Transportation.kif 2443-2443 Car distribution system is a subclass of organizational process
(termFormat EnglishLanguage OrganizationalProcess "organizational process") english_format.kif 1403-1403 Car distribution system is a subclass of organizational process

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


(domain incomeEarned 3 OrganizationalProcess) FinancialOntology.kif 3350-3350 The number 3 argument of income earned is an instance of organizational process
(domain taxDeferredIncome 3 OrganizationalProcess) FinancialOntology.kif 3364-3364 The number 3 argument of tax deferred income is an instance of organizational process
(domain afterTaxIncome 3 OrganizationalProcess) FinancialOntology.kif 3384-3384 The number 3 argument of after tax income is an instance of organizational process
(domain beforeTaxIncome 3 OrganizationalProcess) FinancialOntology.kif 3404-3404 The number 3 argument of before tax 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 10786-10795 If X is an instance of organizational process and Y is an agent of X, then Y is an instance of organization or there exists Z such that Z is an instance of organization and Y is a member of Z


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners