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 10571-10572
(documentation OrganizationalProcess JapaneseLanguage "Organization を含む　 IntentionalProcess 。") japanese_format.kif 1695-1696
(subclass OrganizationalProcess IntentionalProcess) Merge.kif 10569-10569 Organizational process is a subclass of intentional process

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


(subclass BeginningOperations OrganizationalProcess) Mid-level-ontology.kif 16315-16315 Beginning operations is a subclass of organizational process
(subclass CarDistributionSystem OrganizationalProcess) Transportation.kif 2254-2254 Car distribution system is a subclass of organizational process
(subclass CeasingOperations OrganizationalProcess) Mid-level-ontology.kif 16353-16353 Ceasing operations is a subclass of organizational process
(subclass Election OrganizationalProcess) Merge.kif 10585-10585 Election is a subclass of organizational process
(subclass Exporting OrganizationalProcess) Economy.kif 2395-2395 Exporting is a subclass of organizational process
(subclass Firing OrganizationalProcess) Merge.kif 10715-10715 Firing is a subclass of organizational process
(subclass Founding OrganizationalProcess) Mid-level-ontology.kif 925-925 Founding is a subclass of organizational process
(subclass Hiring OrganizationalProcess) Merge.kif 10639-10639 Hiring is a subclass of organizational process
(subclass JoiningAnOrganization OrganizationalProcess) Merge.kif 10607-10607 Joining an organization is a subclass of organizational process
(subclass LaborStriking OrganizationalProcess) Mid-level-ontology.kif 16938-16938 Labor striking is a subclass of organizational process
(subclass LeavingAnOrganization OrganizationalProcess) Merge.kif 10679-10679 Leaving an organization is a subclass of organizational process
(subclass Managing OrganizationalProcess) Merge.kif 10860-10860 Managing is a subclass of organizational process
(subclass MilitaryProcess OrganizationalProcess) Merge.kif 10845-10845 Military process is a subclass of organizational process
(subclass OrganizationalMerging OrganizationalProcess) Mid-level-ontology.kif 16328-16328 Organizational merging is a subclass of organizational process
(subclass PoliticalProcess OrganizationalProcess) Merge.kif 10784-10784 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 10591-10591 Religious process is a subclass of organizational process
(subclass TransferringPosition OrganizationalProcess) Mid-level-ontology.kif 16970-16970 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
(termFormat FrenchLanguage OrganizationalProcess "processus organisationnel") french_format.kif 772-772
(termFormat Hindi OrganizationalProcess "sangathan sanbandhii prakriyaa") terms-hindi.txt 304-304
(termFormat ItalianLanguage OrganizationalProcess "ProcessoOrganizzativo") terms-it.txt 307-307
(termFormat JapaneseLanguage OrganizationalProcess "組織プロセス") japanese_format.kif 2456-2456

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain afterTaxIncome 3 OrganizationalProcess) FinancialOntology.kif 3327-3327 The number 3 argument of after tax income is an instance of organizational process
(domain beforeTaxIncome 3 OrganizationalProcess) FinancialOntology.kif 3347-3347 The number 3 argument of before tax income is an instance of organizational process
(domain incomeEarned 3 OrganizationalProcess) FinancialOntology.kif 3293-3293 The number 3 argument of income earned is an instance of organizational process
(domain taxDeferredIncome 3 OrganizationalProcess) FinancialOntology.kif 3307-3307 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 10574-10583


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