crossFunctionalTeamFocus - Sigma Knowledge base Browser

appearance as argument number 1

(instance crossFunctionalTeamFocus BinaryPredicate)	UXExperimentalTerms.kif 2649-2649	BinaryPredicate is an instance of binary predicate
(documentation crossFunctionalTeamFocus EnglishLanguage "(crossFunctionalTeamFocus ?FOCUS ?TEAM) means that ?FOCUS is inScopeOfInterest of each member of CrossFunctionalTeam ?TEAM.")	UXExperimentalTerms.kif 2653-2654	BinaryPredicate is an instance of binary predicate
(domain crossFunctionalTeamFocus 1 Entity)	UXExperimentalTerms.kif 2656-2656	The number 1 argument of BinaryPredicate is an instance of entity
(domain crossFunctionalTeamFocus 2 CrossFunctionalTeam)	UXExperimentalTerms.kif 2658-2658	The number 2 argument of BinaryPredicate is an instance of cross_functional team

appearance as argument number 2

(termFormat EnglishLanguage crossFunctionalTeamFocus "BinaryPredicate")	UXExperimentalTerms.kif 2651-2651
(format EnglishLanguage crossFunctionalTeamFocus "%2 works on %1")	domainEnglishFormat.kif 3144-3144
(format ChineseTraditionalLanguage crossFunctionalTeamFocus "%2 works 在 %1 ")	domainEnglishFormat.kif 3145-3145
(format ChineseLanguage crossFunctionalTeamFocus "%2 works 在 %1 ")	domainEnglishFormat.kif 3146-3146

antecedent

(=>
    (and
        (crossFunctionalTeamFocus ?FOCUS ?TEAM)
        (member ?MEMBER ?TEAM))
    (inScopeOfInterest ?MEMBER ?FOCUS))

If X works on Y and Z is a member of X, then Z is interested in Y