businessUnit |
appearance as argument number 1 |
(documentation businessUnit EnglishLanguage "A BinaryPredicate relating an Organization to a Business, specifying that the Organization is a subOrganization of the Business, the organization is the agent of some process that benefits the Business, and there is something specific that is inScopeOfInterest of the Organization.") | UXExperimentalTerms.kif 2553-2556 | |
(domain businessUnit 1 Organization) | UXExperimentalTerms.kif 2547-2547 | Die Zahl 1 Argument von businessUnit ist ein fall von Organization %n{nicht} |
(domain businessUnit 2 Business) | UXExperimentalTerms.kif 2549-2549 | Die Zahl 2 Argument von businessUnit ist ein fall von Business %n{nicht} |
(instance businessUnit BinaryPredicate) | UXExperimentalTerms.kif 2545-2545 | businessUnit ist ein fall von BinaryPredicate %n{nicht} |
appearance as argument number 2 |
(format ChineseLanguage businessUnit "%1 是 %2 的 business 单位") | domainEnglishFormat.kif 2942-2942 | |
(format ChineseTraditionalLanguage businessUnit "%1 是 %2 的 business 單位") | domainEnglishFormat.kif 2941-2941 | |
(format EnglishLanguage businessUnit "%1 is a business unit of %2") | domainEnglishFormat.kif 2940-2940 | |
(termFormat EnglishLanguage businessUnit "business unit") | UXExperimentalTerms.kif 2551-2551 |
antecedent |
(=> (and (businessUnit ?ORG ?BUSINESS) (member ?MEMBER ?ORG)) (instance ?MEMBER Human)) |
UXExperimentalTerms.kif 2579-2583 |
|
(=> (businessUnit ?BU ?ORG) (exists (?INTEREST) (and (instance ?INTEREST Entity) (inScopeOfInterest ?BU ?INTEREST)))) |
UXExperimentalTerms.kif 2572-2577 |
|
(=> (businessUnit ?BU ?ORG) (hasPurpose ?BU (exists (?PROCESS) (and (instance ?PROCESS Process) (agent ?PROCESS ?BU) (benefits ?PROCESS ?ORG))))) |
UXExperimentalTerms.kif 2563-2570 |
|
(=> (businessUnit ?BU ?ORG) (subOrganization ?BU ?ORG)) |
UXExperimentalTerms.kif 2559-2561 |
|
consequent |