Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CrossFunctionalTeam(cross_functional team) |
| appearance as argument number 1 |
|
| (subclass CrossFunctionalTeam Organization) | UXExperimentalTerms.kif 2612-2612 | Cross_functional team is a subclass of organization |
| (documentation CrossFunctionalTeam EnglishLanguage "An Organization where members of that organization have different skills, but a common Entity inScopeOfInterest.") | UXExperimentalTerms.kif 2614-2615 | Cross_functional team is a subclass of organization |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain crossFunctionalTeamFocus 2 CrossFunctionalTeam) | UXExperimentalTerms.kif 2658-2658 | The number 2 argument of BinaryPredicate is an instance of cross_functional team |
| antecedent |
|
|
| (=> (instance ?TEAM CrossFunctionalTeam) (exists (?INTEREST) (and (instance ?INTEREST Entity) (forall (?MEMBER) (=> (and (instance ?MEMBER Human) (member ?MEMBER ?TEAM)) (inScopeOfInterest ?MEMBER ?INTEREST)))))) |
UXExperimentalTerms.kif 2619-2629 | If X is an instance of cross_functional team, then there exists Y such that Y is an instance of entity, Z Z is an instance of human, and Z is a member of XZ is interested in Y |
| (=> (instance ?TEAM CrossFunctionalTeam) (exists (?SKILL ?MEMBER1 ?MEMBER2 ?INST) (and (subclass ?SKILL Process) (instance ?MEMBER1 Human) (instance ?MEMBER2 Human) (member ?MEMBER1 ?TEAM) (member ?MEMBER2 ?TEAM) (hasSkill ?SKILL ?MEMBER1) (not (hasSkill ?SKILL ?MEMBER2)) (instance ?INST ?SKILL) (inScopeOfInterest ?TEAM ?INST)))) |
UXExperimentalTerms.kif 2631-2644 | If X is an instance of cross_functional team, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a subclass of process (3) Z is an instance of human (4) W is an instance of human (5) Z is a member of X (6) W is a member of X (7) Z has the skill to do Y (8) W does not have the skill to do Y (9) V is an instance of Y (10) X is interested in V |
|