crossFunctionalTeamFocus - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__crossFunctionalTeamFocus__m,s__EnglishLanguage,'(crossFunctionalTeamFocus ?FOCUS ?TEAM) means that ?FOCUS is inScopeOfInterest of each member of CrossFunctionalTeam ?TEAM.')	UXExperimentalTerms.kif 2860-2861
s__domain(s__crossFunctionalTeamFocus__m,1,s__Entity)	UXExperimentalTerms.kif 2863-2863	The number 1 argument of BinaryPredicate is an instance of entity
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
s__instance(s__BinaryPredicate,s__SetOrClass) s__instance(s__crossFunctionalTeamFocus__m,s__BinaryPredicate)	UXExperimentalTerms.kif 2856-2856	BinaryPredicate is an instance of binary predicate

appearance as argument number 2

s__format(s__EnglishLanguage,s__crossFunctionalTeamFocus__m,'%2 works on %1')	domainEnglishFormat.kif 797-797
s__termFormat(s__EnglishLanguage,s__crossFunctionalTeamFocus__m,'BinaryPredicate')	UXExperimentalTerms.kif 2858-2858	"BinaryPredicate" is the printable form of BinaryPredicate in english language

antecedent

( ! [V__FOCUS,V__TEAM,V__MEMBER] :
   ((s__crossFunctionalTeamFocus(V__FOCUS,V__TEAM)
     &
     s__member(V__MEMBER,V__TEAM))
=>
s__inScopeOfInterest(V__MEMBER,V__FOCUS))
)

UXExperimentalTerms.kif 2867-2871