Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GlobalCrossFunctionalTeam(global cross_functional team) |
| appearance as argument number 1 |
|
| (subclass GlobalCrossFunctionalTeam CrossFunctionalTeam) | UXExperimentalTerms.kif 2722-2722 | Global cross_functional team is a subclass of cross_functional team |
| (documentation GlobalCrossFunctionalTeam EnglishLanguage "A CrossFunctionalTeam where members are located in different GeoPoliticalAreas.") | UXExperimentalTerms.kif 2726-2727 | Global cross_functional team is a subclass of cross_functional team |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GlobalCrossFunctionalTeam "global cross_functional team") | UXExperimentalTerms.kif 2724-2724 |
| antecedent |
|
|
| (=> (instance ?GXT GlobalCrossFunctionalTeam) (exists (?MEMBER1 ?MEMBER1_LOC ?MEMBER2 ?MEMBER2_LOC) (and (instance ?MEMBER1 Human) (instance ?MEMBER2 Human) (instance ?MEMBER1_LOC GeopoliticalArea) (instance ?MEMBER2_LOC GeopoliticalArea) (member ?MEMBER1 ?GXT) (member ?MEMBER2 ?GXT) (located ?MEMBER1 ?MEMBER1_LOC) (located ?MEMBER2 ?MEMBER2_LOC) (not (equal ?MEMBER1_LOC ?MEMBER2_LOC))))) |
UXExperimentalTerms.kif 2729-2742 | If X is an instance of global cross_functional team, then All of the following hold: (1) there exist Y, ?MEMBER1_LOC,, , Z (2) ?MEMBER2_LOC such that Y is an instance of human (3) Z is an instance of human (4) ?MEMBER1_LOC is an instance of geopolitical area (5) ?MEMBER2_LOC is an instance of geopolitical area (6) Y is a member of X (7) Z is a member of X (8) Y is located at ?MEMBER1_LOC (9) Z is located at ?MEMBER2_LOC (10) equal ?MEMBER1_LOC (11) ?MEMBER2_LOC |
|