| 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 | |
| (domain businessUnit 2 Business) | UXExperimentalTerms.kif 2549-2549 | |
| (instance businessUnit BinaryPredicate) | UXExperimentalTerms.kif 2545-2545 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage businessUnit "%1 是 %2 的 business 单位") | domainEnglishFormat.kif 2934-2934 | |
| (format ChineseTraditionalLanguage businessUnit "%1 是 %2 的 business 單位") | domainEnglishFormat.kif 2933-2933 | |
| (format EnglishLanguage businessUnit "%1 is a business unit of %2") | domainEnglishFormat.kif 2932-2932 | |
| (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 |
|
|
| (=> (instance ?CS CustomerSupport) (exists (?ORG) (and (instance ?ORG Organization) (businessUnit ?CS ?ORG)))) |
UXExperimentalTerms.kif 2788-2793 | |
| (=> (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 2795-2805 |
|
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