| appearance as argument number 1 |
|
| s__documentation(s__CrossFunctionalTeam,s__EnglishLanguage,'An Organization where members of that organization have different skills, but a common Entity inScopeOfInterest.')
|
UXExperimentalTerms.kif 2821-2822 | |
| s__instance(s__CrossFunctionalTeam,s__SetOrClass) s__instance(s__Organization,s__SetOrClass) s__subclass(s__CrossFunctionalTeam,s__Organization)
|
UXExperimentalTerms.kif 2819-2819 | Cross-functional team is a subclass of organization |
| appearance as argument number 2 |
|
|
| s__instance(s__CrossFunctionalTeam,s__SetOrClass) s__instance(s__GlobalCrossFunctionalTeam,s__SetOrClass) s__subclass(s__GlobalCrossFunctionalTeam,s__CrossFunctionalTeam)
|
UXExperimentalTerms.kif 2929-2929 | Global cross-functional team is a subclass of cross-functional team |
| s__termFormat(s__EnglishLanguage,s__CrossFunctionalTeam,'cross-functional team')
|
UXExperimentalTerms.kif 2824-2824 | "cross-functional team" is the printable form of cross-functional team in english language |
| appearance as argument number 3 |
|
|
| s__domain(s__crossFunctionalTeamFocus__m,2,s__CrossFunctionalTeam)
|
UXExperimentalTerms.kif 2865-2865 | The number 2 argument of BinaryPredicate is an instance of cross-functional team |
| antecedent |
|
|
| ( ! [V__TEAM] : (s__instance(V__TEAM,s__CrossFunctionalTeam) => (? [V__INTEREST] : (s__instance(V__INTEREST,s__Entity) & (! [V__MEMBER] : ((s__instance(V__MEMBER,s__Human) & s__member(V__MEMBER,V__TEAM)) => s__inScopeOfInterest(V__MEMBER,V__INTEREST)))))) )
|
UXExperimentalTerms.kif 2826-2836 |
|
| ( ! [V__TEAM] : (s__instance(V__TEAM,s__CrossFunctionalTeam) => (? [V__SKILL,V__MEMBER1,V__MEMBER2] : (s__instance(V__SKILL,s__Process) & s__instance(V__MEMBER1,s__Human) & s__instance(V__MEMBER2,s__Human) & s__member(V__MEMBER1,V__TEAM) & s__member(V__MEMBER2,V__TEAM) & s__hasSkill(V__SKILL,V__MEMBER1) & (~ s__hasSkill(V__SKILL,V__MEMBER2)) & s__inScopeOfInterest(V__TEAM,V__SKILL)))) )
|
UXExperimentalTerms.kif 2838-2850 |
|
|
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