businessUnit - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - businessUnit

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	The number 1 argument of business unit is an instance of organization
(domain businessUnit 2 Business)	UXExperimentalTerms.kif 2549-2549	The number 2 argument of business unit is an instance of business
(instance businessUnit BinaryPredicate)	UXExperimentalTerms.kif 2545-2545	business unit is an instance of binary predicate

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	If an organization is a business unit of a business and a physical is a member of the organization, then the physical is an instance of human
(=> (businessUnit ?BU ?ORG) (exists (?INTEREST) (and (instance ?INTEREST Entity) (inScopeOfInterest ?BU ?INTEREST))))	UXExperimentalTerms.kif 2572-2577	If an organization is a business unit of a business, then there exists an entity such that the entity is an instance of entity and the organization is interested in the entity
(=> (businessUnit ?BU ?ORG) (hasPurpose ?BU (exists (?PROCESS) (and (instance ?PROCESS Process) (agent ?PROCESS ?BU) (benefits ?PROCESS ?ORG)))))	UXExperimentalTerms.kif 2563-2570	If an organization is a business unit of a business, then the organization has the purpose there exists an entity such that the entity is an instance of process and the organization is an agent of the entity and the business is a beneficiary of the entity
(=> (businessUnit ?BU ?ORG) (subOrganization ?BU ?ORG))	UXExperimentalTerms.kif 2559-2561	If an organization is a business unit of a business, then the organization is a part of the organization the business

consequent

(=> (instance ?CS CustomerSupport) (exists (?ORG) (and (instance ?ORG Organization) (businessUnit ?CS ?ORG))))	UXExperimentalTerms.kif 2788-2793	If an organization is an instance of customer support, then there exists a business such that the business is an instance of organization and the organization is a business unit of the business
(=> (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	If a physical is an instance of customer support, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of cognitive agent and the other entity is an instance of cognitive agent and the third entity is an instance of organization and the physical is a business unit of the third entity and the entity is a member of the physical and the entity customer representative the other entity for the third entity

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