| OrganizationalProcess | |
| appearance as argument number 1 |
|
|
| (documentation OrganizationalProcess ChineseLanguage "") | chinese_format.kif 2942-2942 | |
| (documentation OrganizationalProcess EnglishLanguage "An IntentionalProcess that involves an Organization.") | Merge.kif 10537-10538 | |
| (documentation OrganizationalProcess JapaneseLanguage "Organization を含む IntentionalProcess 。") | japanese_format.kif 1695-1696 | |
| (subclass OrganizationalProcess IntentionalProcess) | Merge.kif 10535-10535 | OrganizationalProcess ist eine teilkategorie von IntentionalProcess |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain afterTaxIncome 3 OrganizationalProcess) | FinancialOntology.kif 3327-3327 | Die Zahl 3 Argument von afterTaxIncome ist ein fall von OrganizationalProcess %n{nicht} |
| (domain beforeTaxIncome 3 OrganizationalProcess) | FinancialOntology.kif 3347-3347 | Die Zahl 3 Argument von beforeTaxIncome ist ein fall von OrganizationalProcess %n{nicht} |
| (domain incomeEarned 3 OrganizationalProcess) | FinancialOntology.kif 3293-3293 | Die Zahl 3 Argument von incomeEarned ist ein fall von OrganizationalProcess %n{nicht} |
| (domain taxDeferredIncome 3 OrganizationalProcess) | FinancialOntology.kif 3307-3307 | Die Zahl 3 Argument von taxDeferredIncome ist ein fall von OrganizationalProcess %n{nicht} |
| antecedent |
|
|
| (=> (and (instance ?ACT OrganizationalProcess) (agent ?ACT ?AGENT)) (or (instance ?AGENT Organization) (exists (?ORG) (and (instance ?ORG Organization) (member ?AGENT ?ORG))))) |
Merge.kif 10540-10549 |
|
|
|
|