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...

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


s__documentation(s__OrganizationalProcess,s__ChineseLanguage,'""')

chinese_format.kif 2942-2942
s__documentation(s__OrganizationalProcess,s__EnglishLanguage,'"An IntentionalProcess that involves an Organization."')

Merge.kif 10095-10096
s__instance(s__OrganizationalProcess,s__SetOrClass)

s__subclass(s__OrganizationalProcess,s__IntentionalProcess)

s__instance(s__IntentionalProcess,s__SetOrClass)

Merge.kif 10093-10093 Organizational process is a subclass of intentional process

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


s__instance(s__BeginningOperations,s__SetOrClass)

s__instance(s__OrganizationalProcess,s__SetOrClass)

s__subclass(s__BeginningOperations,s__OrganizationalProcess)

Mid-level-ontology.kif 14589-14589 Beginning operations is a subclass of organizational process
s__instance(s__OrganizationalProcess,s__SetOrClass)

s__subclass(s__CarDistributionSystem,s__OrganizationalProcess)

s__instance(s__CarDistributionSystem,s__SetOrClass)

Transportation.kif 2255-2255 Car distribution system is a subclass of organizational process
s__subclass(s__CeasingOperations,s__OrganizationalProcess)

s__instance(s__OrganizationalProcess,s__SetOrClass)

s__instance(s__CeasingOperations,s__SetOrClass)

Mid-level-ontology.kif 14627-14627 Ceasing operations is a subclass of organizational process
s__instance(s__OrganizationalProcess,s__SetOrClass)

s__subclass(s__Election,s__OrganizationalProcess)

s__instance(s__Election,s__SetOrClass)

Merge.kif 10109-10109 Election is a subclass of organizational process
s__instance(s__OrganizationalProcess,s__SetOrClass)

s__instance(s__Firing,s__SetOrClass)

s__subclass(s__Firing,s__OrganizationalProcess)

Merge.kif 10222-10222 Firing is a subclass of organizational process
s__instance(s__Founding,s__SetOrClass)

s__instance(s__OrganizationalProcess,s__SetOrClass)

s__subclass(s__Founding,s__OrganizationalProcess)

Mid-level-ontology.kif 875-875 Founding is a subclass of organizational process
s__subclass(s__Hiring,s__OrganizationalProcess)

s__instance(s__OrganizationalProcess,s__SetOrClass)

s__instance(s__Hiring,s__SetOrClass)

Merge.kif 10146-10146 Hiring is a subclass of organizational process
s__subclass(s__JoiningAnOrganization,s__OrganizationalProcess)

s__instance(s__OrganizationalProcess,s__SetOrClass)

s__instance(s__JoiningAnOrganization,s__SetOrClass)

Merge.kif 10131-10131 Joining an organization is a subclass of organizational process
s__instance(s__OrganizationalProcess,s__SetOrClass)

s__instance(s__LaborStriking,s__SetOrClass)

s__subclass(s__LaborStriking,s__OrganizationalProcess)

Mid-level-ontology.kif 15117-15117 Labor striking is a subclass of organizational process
s__instance(s__OrganizationalProcess,s__SetOrClass)

s__subclass(s__LeavingAnOrganization,s__OrganizationalProcess)

s__instance(s__LeavingAnOrganization,s__SetOrClass)

Merge.kif 10186-10186 Leaving an organization is a subclass of organizational process
s__instance(s__OrganizationalProcess,s__SetOrClass)

s__subclass(s__Managing,s__OrganizationalProcess)

s__instance(s__Managing,s__SetOrClass)

Merge.kif 10365-10365 Managing is a subclass of organizational process
s__subclass(s__MilitaryProcess,s__OrganizationalProcess)

s__instance(s__OrganizationalProcess,s__SetOrClass)

s__instance(s__MilitaryProcess,s__SetOrClass)

Merge.kif 10350-10350 Military process is a subclass of organizational process
s__instance(s__OrganizationalMerging,s__SetOrClass)

s__subclass(s__OrganizationalMerging,s__OrganizationalProcess)

s__instance(s__OrganizationalProcess,s__SetOrClass)

Mid-level-ontology.kif 14602-14602 Organizational merging is a subclass of organizational process
s__subclass(s__PoliticalProcess,s__OrganizationalProcess)

s__instance(s__PoliticalProcess,s__SetOrClass)

s__instance(s__OrganizationalProcess,s__SetOrClass)

Merge.kif 10291-10291 Political process is a subclass of organizational process
s__instance(s__OrganizationalProcess,s__SetOrClass)

s__subclass(s__PublicProgram,s__OrganizationalProcess)

s__instance(s__PublicProgram,s__SetOrClass)

MilitaryProcesses.kif 1374-1374 Public program is a subclass of organizational process
s__instance(s__OrganizationalProcess,s__SetOrClass)

s__instance(s__ReligiousProcess,s__SetOrClass)

s__subclass(s__ReligiousProcess,s__OrganizationalProcess)

Merge.kif 10115-10115 Religious process is a subclass of organizational process
s__instance(s__TransferringPosition,s__SetOrClass)

s__instance(s__OrganizationalProcess,s__SetOrClass)

s__subclass(s__TransferringPosition,s__OrganizationalProcess)

Mid-level-ontology.kif 15149-15149 Transferring position is a subclass of organizational process
s__termFormat(s__ChineseLanguage,s__OrganizationalProcess,'"机构性过程"')

chinese_format.kif 1094-1094
s__termFormat(s__EnglishLanguage,s__OrganizationalProcess,'"organizational process"')

english_format.kif 1404-1404

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


s__domain(s__afterTaxIncome__m,n__3,s__OrganizationalProcess)

FinancialOntology.kif 3267-3267 The number 3 argument of after tax income is an instance of organizational process
s__domain(s__beforeTaxIncome__m,n__3,s__OrganizationalProcess)

FinancialOntology.kif 3284-3284 The number 3 argument of before tax income is an instance of organizational process
s__domain(s__incomeEarned__m,n__3,s__OrganizationalProcess)

FinancialOntology.kif 3233-3233 The number 3 argument of income earned is an instance of organizational process
s__domain(s__taxDeferredIncome__m,n__3,s__OrganizationalProcess)

FinancialOntology.kif 3247-3247 The number 3 argument of tax deferred income is an instance of organizational process

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


( ! [V__AGENT,V__ACT] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__ACT,s__OrganizationalProcess) &
             s__agent(V__ACT,V__AGENT))
         =>
         ((s__instance(V__AGENT,s__Organization) |
             ( ? [V__ORG] :
               ((s__instance(V__ORG,s__Organization) &
                   s__member(V__AGENT,V__ORG)))))))))
)
)

Merge.kif 10098-10107


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 is open source software produced by Articulate Software and its partners