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