Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (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 2630-2643
(subclass CrossFunctionalTeam Organization) UXExperimentalTerms.kif 2611-2611 CrossFunctionalTeam est une sous-classe de organisation
(subclass GlobalCrossFunctionalTeam CrossFunctionalTeam) UXExperimentalTerms.kif 2721-2721 GlobalCrossFunctionalTeam est une sous-classe de CrossFunctionalTeam


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