Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  OrganizationalProcess

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