Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  businessUnit

 Sigma KEE - businessUnit
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners