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
-------------------------


s__documentation(s__businessUnit__m,s__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 2761-2764
s__domain(s__businessUnit__m,1,s__Organization)

UXExperimentalTerms.kif 2755-2755 The number 1 argument of business unit is an instance of organization
s__domain(s__businessUnit__m,2,s__Business)

UXExperimentalTerms.kif 2757-2757 The number 2 argument of business unit is an instance of Business
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__businessUnit__m,s__BinaryPredicate)

UXExperimentalTerms.kif 2753-2753 business unit is an instance of binary predicate

appearance as argument number 2
-------------------------


s__format(s__EnglishLanguage,s__businessUnit__m,'%1 is a business unit of %2')

domainEnglishFormat.kif 744-744
s__termFormat(s__EnglishLanguage,s__businessUnit__m,'business unit')

UXExperimentalTerms.kif 2759-2759 "business unit" is the printable form of business unit in english language

antecedent
-------------------------


( ! [V__ORG,V__BUSINESS,V__MEMBER] :
   ((s__businessUnit(V__ORG,V__BUSINESS)
     &
     s__member(V__MEMBER,V__ORG))
=>
s__instance(V__MEMBER,s__Human))
)

UXExperimentalTerms.kif 2787-2791
( ! [V__BU,V__ORG] :
   (s__businessUnit(V__BU,V__ORG)
   =>
   (? [V__INTEREST] :
     (s__instance(V__INTEREST,s__Entity) &
       s__inScopeOfInterest(V__BU,V__INTEREST))))
)

UXExperimentalTerms.kif 2780-2785
( ! [V__BU,V__ORG] :
   (s__businessUnit(V__BU,V__ORG)
   =>
   s__hasPurpose(V__BU,'(? [V__PROCESS] : (s__instance(V__PROCESS,s__Process) & s__agent(V__PROCESS,V__BU) & s__benefits(V__PROCESS,V__ORG)))'))
)

UXExperimentalTerms.kif 2771-2778
  • If ?BU is a business unit of ?ORG,
  • then ?BU has purpose there exists ?PROCESS such that ?PROCESS is an instance of process and ?BU is an agent of ?PROCESS and ?ORG is a beneficiary of ?PROCESS
( ! [V__BU,V__ORG] :
   (s__businessUnit(V__BU,V__ORG)
   =>
   s__subOrganization(V__BU,V__ORG))
)

UXExperimentalTerms.kif 2767-2769
  • If ?BU is a business unit of ?ORG,
  • then ?BU is a part of the organization ?ORG

consequent
-------------------------


( ! [V__CS] :
   (s__instance(V__CS,s__CustomerSupport) =>
     (? [V__ORG] :
       (s__instance(V__ORG,s__Organization) &
         s__businessUnit(V__CS,V__ORG))))
)

UXExperimentalTerms.kif 2996-3001
( ! [V__CS] :
   (s__instance(V__CS,s__CustomerSupport) =>
     s__hasPurpose(V__CS,'(? [V__MEMBER,V__CUSTOMER,V__ORG] : (s__instance(V__MEMBER,s__CognitiveAgent) & s__instance(V__CUSTOMER,s__CognitiveAgent) & s__instance(V__ORG,s__Organization) & s__businessUnit(V__CS,V__ORG) & s__member(V__MEMBER,V__CS) & s__customerRepresentative(V__MEMBER,V__CUSTOMER,V__ORG)))'))
)

UXExperimentalTerms.kif 3003-3013


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners