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 and Organization
(subclass GlobalCrossFunctionalTeam CrossFunctionalTeam) UXExperimentalTerms.kif 2721-2721 子類 GlobalCrossFunctionalTeam and 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