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, cross-file, da'wah, dawah, decentralised, decentralized, decriminalisation, decriminalization, demob, demobilise, demobilize...

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


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

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


(subclass BeginningOperations OrganizationalProcess) Mid-level-ontology.kif 15784-15784 Beginning operations is a subclass of organizational process
(subclass CarDistributionSystem OrganizationalProcess) Transportation.kif 2247-2247 Car distribution system is a subclass of organizational process
(subclass CeasingOperations OrganizationalProcess) Mid-level-ontology.kif 15822-15822 Ceasing operations is a subclass of organizational process
(subclass Election OrganizationalProcess) Merge.kif 10469-10469 Election is a subclass of organizational process
(subclass Firing OrganizationalProcess) Merge.kif 10582-10582 Firing is a subclass of organizational process
(subclass Founding OrganizationalProcess) Mid-level-ontology.kif 899-899 Founding is a subclass of organizational process
(subclass Hiring OrganizationalProcess) Merge.kif 10506-10506 Hiring is a subclass of organizational process
(subclass JoiningAnOrganization OrganizationalProcess) Merge.kif 10491-10491 Joining an organization is a subclass of organizational process
(subclass LaborStriking OrganizationalProcess) Mid-level-ontology.kif 16405-16405 Labor striking is a subclass of organizational process
(subclass LeavingAnOrganization OrganizationalProcess) Merge.kif 10546-10546 Leaving an organization is a subclass of organizational process
(subclass Managing OrganizationalProcess) Merge.kif 10725-10725 Managing is a subclass of organizational process
(subclass MilitaryProcess OrganizationalProcess) Merge.kif 10710-10710 Military process is a subclass of organizational process
(subclass OrganizationalMerging OrganizationalProcess) Mid-level-ontology.kif 15797-15797 Organizational merging is a subclass of organizational process
(subclass PoliticalProcess OrganizationalProcess) Merge.kif 10651-10651 Political process is a subclass of organizational process
(subclass PublicProgram OrganizationalProcess) MilitaryProcesses.kif 1375-1375 Public program is a subclass of organizational process
(subclass ReligiousProcess OrganizationalProcess) Merge.kif 10475-10475 Religious process is a subclass of organizational process
(subclass TransferringPosition OrganizationalProcess) Mid-level-ontology.kif 16437-16437 Transferring position is a subclass of organizational process
(termFormat ChineseLanguage OrganizationalProcess "机构性过程") chinese_format.kif 1094-1094
(termFormat EnglishLanguage OrganizationalProcess "organizational process") english_format.kif 1399-1399

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


(domain afterTaxIncome 3 OrganizationalProcess) FinancialOntology.kif 3333-3333 The number 3 argument of after tax income is an instance of organizational process
(domain beforeTaxIncome 3 OrganizationalProcess) FinancialOntology.kif 3353-3353 The number 3 argument of before tax income is an instance of organizational process
(domain incomeEarned 3 OrganizationalProcess) FinancialOntology.kif 3299-3299 The number 3 argument of income earned is an instance of organizational process
(domain taxDeferredIncome 3 OrganizationalProcess) FinancialOntology.kif 3313-3313 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 10458-10467


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