| appearance as argument number 1 |
|
| (documentation crossFunctionalTeamFocus EnglishLanguage "(crossFunctionalTeamFocus ?FOCUS ?TEAM) means that ?FOCUS is inScopeOfInterest of each member of CrossFunctionalTeam ?TEAM.") | UXExperimentalTerms.kif 2859-2860 | |
| (domain crossFunctionalTeamFocus 1 Entity) | UXExperimentalTerms.kif 2862-2862 | |
| (domain crossFunctionalTeamFocus 2 CrossFunctionalTeam) | UXExperimentalTerms.kif 2864-2864 | |
| (instance crossFunctionalTeamFocus BinaryPredicate) | UXExperimentalTerms.kif 2855-2855 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage crossFunctionalTeamFocus "%2 works 在 %1 ") | domainEnglishFormat.kif 3155-3155 | |
| (format ChineseTraditionalLanguage crossFunctionalTeamFocus "%2 works 在 %1 ") | domainEnglishFormat.kif 3154-3154 | |
| (format EnglishLanguage crossFunctionalTeamFocus "%2 works on %1") | domainEnglishFormat.kif 3153-3153 | |
| (termFormat EnglishLanguage crossFunctionalTeamFocus "BinaryPredicate") | UXExperimentalTerms.kif 2857-2857 |
| antecedent |
|
|
| (=> (and (crossFunctionalTeamFocus ?FOCUS ?TEAM) (member ?MEMBER ?TEAM)) (inScopeOfInterest ?MEMBER ?FOCUS)) |
UXExperimentalTerms.kif 2866-2870 |
|
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