| 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 2763-2766 | |
| s__domain(s__businessUnit__m,n__1,s__Organization)
|
UXExperimentalTerms.kif 2757-2757 | The number 1 argument of business unit is an instance of organization |
| s__domain(s__businessUnit__m,n__2,s__Business)
|
UXExperimentalTerms.kif 2759-2759 | The number 2 argument of business unit is an instance of Business |
| s__instance(s__businessUnit__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)
|
UXExperimentalTerms.kif 2755-2755 | business unit is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| s__format(s__ChineseLanguage,s__businessUnit__m,'"%1 是 %2 的 business 单位"')
|
domainEnglishFormat.kif 2943-2943 | |
| s__format(s__ChineseTraditionalLanguage,s__businessUnit__m,'"%1 是 %2 的 business 單位"')
|
domainEnglishFormat.kif 2942-2942 | |
| s__format(s__EnglishLanguage,s__businessUnit__m,'"%1 is a business unit of %2"')
|
domainEnglishFormat.kif 2941-2941 | |
| s__termFormat(s__EnglishLanguage,s__businessUnit__m,'"business unit"')
|
UXExperimentalTerms.kif 2761-2761 |
| antecedent |
|
|
| ( ! [V__MEMBER,V__ORG,V__BUSINESS] : (((s__instance(V__MEMBER,s__Physical) & s__instance(V__ORG,s__Organization) & s__instance(V__BUSINESS,s__Business)) => (((s__businessUnit(V__ORG,V__BUSINESS) & s__member(V__MEMBER,V__ORG)) => (s__instance(V__MEMBER,s__Human))))) ) )
|
UXExperimentalTerms.kif 2789-2793 |
|
| ( ! [V__BU,V__ORG] : (((s__instance(V__BU,s__Organization) & s__instance(V__BU,s__CognitiveAgent) & s__instance(V__ORG,s__Business)) => ((s__businessUnit(V__BU,V__ORG) => (( ? [V__INTEREST] : ((s__instance(V__INTEREST,s__Entity) & s__inScopeOfInterest(V__BU,V__INTEREST)))))))) ) )
|
UXExperimentalTerms.kif 2782-2787 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2773-2780 |
|
| ( ! [V__BU,V__ORG] : (((s__instance(V__BU,s__Organization) & s__instance(V__ORG,s__Business)) => ((s__businessUnit(V__BU,V__ORG) => (s__subOrganization(V__BU,V__ORG))))) ) )
|
UXExperimentalTerms.kif 2769-2771 |
|
| 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 2998-3003 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3005-3015 |
|
|
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