Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| businessUnit |
| appearance as argument number 1 |
|
| (instance businessUnit BinaryPredicate) | UXExperimentalTerms.kif 2546-2546 | business unit is an instance of binary predicate |
| (domain businessUnit 1 Organization) | UXExperimentalTerms.kif 2548-2548 | The number 1 argument of business unit is an instance of organization |
| (domain businessUnit 2 Business) | UXExperimentalTerms.kif 2550-2550 | The number 2 argument of business unit is an instance of business |
| (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 2554-2557 | The number 2 argument of business unit is an instance of business |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage businessUnit "business unit") | UXExperimentalTerms.kif 2552-2552 | |
| (format EnglishLanguage businessUnit "%1 is a business unit of %2") | domainEnglishFormat.kif 2936-2936 | |
| (format ChineseTraditionalLanguage businessUnit "%1 是 %2 的 business 單位") | domainEnglishFormat.kif 2937-2937 | |
| (format ChineseLanguage businessUnit "%1 是 %2 的 business 单位") | domainEnglishFormat.kif 2938-2938 |
| antecedent |
|
|
| (=> (businessUnit ?BU ?ORG) (subOrganization ?BU ?ORG)) |
UXExperimentalTerms.kif 2560-2562 | If X is a business unit of Y, then X is a part of the organization Y |
| (=> (businessUnit ?BU ?ORG) (hasPurpose ?BU (exists (?PROCESS) (and (instance ?PROCESS Process) (agent ?PROCESS ?BU) (benefits ?PROCESS ?ORG))))) |
UXExperimentalTerms.kif 2564-2571 | If X is a business unit of Y, then X has the purpose there exists Z such that Z is an instance of process, X is an agent of Z, and Y is a beneficiary of Z |
| (=> (businessUnit ?BU ?ORG) (exists (?INTEREST) (and (instance ?INTEREST Entity) (inScopeOfInterest ?BU ?INTEREST)))) |
UXExperimentalTerms.kif 2573-2578 | If X is a business unit of Y, then there exists Z such that Z is an instance of entity and X is interested in Z |
| (=> (and (businessUnit ?ORG ?BUSINESS) (member ?MEMBER ?ORG)) (instance ?MEMBER Human)) |
UXExperimentalTerms.kif 2580-2584 | If X is a business unit of Y and Z is a member of X, then Z is an instance of human |
| consequent |
|
|
| (=> (instance ?CS CustomerSupport) (exists (?ORG) (and (instance ?ORG Organization) (businessUnit ?CS ?ORG)))) |
UXExperimentalTerms.kif 2789-2794 | If X is an instance of customer support, then there exists Y such that Y is an instance of organization and X is a business unit of Y |
| (=> (instance ?CS CustomerSupport) (hasPurpose ?CS (exists (?MEMBER ?CUSTOMER ?ORG) (and (instance ?MEMBER CognitiveAgent) (instance ?CUSTOMER CognitiveAgent) (instance ?ORG Organization) (businessUnit ?CS ?ORG) (member ?MEMBER ?CS) (customerRepresentative ?MEMBER ?CUSTOMER ?ORG))))) |
UXExperimentalTerms.kif 2796-2806 | If X is an instance of customer support, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of cognitive agent (3) Z is an instance of cognitive agent (4) W is an instance of organization (5) X is a business unit of W (6) Y is a member of X (7) Y customer representative Z for W |
|