Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MemberRoleFn
MemberRoleFn

appearance as argument number 1
-------------------------


(instance MemberRoleFn BinaryFunction) Government.kif 1752-1752 Member role is an instance of binary function
(domain MemberRoleFn 1 Organization) Government.kif 1753-1753 The number 1 argument of member role is an instance of organization
(domain MemberRoleFn 2 Position) Government.kif 1754-1754 The number 2 argument of member role is an instance of position
(range MemberRoleFn Position) Government.kif 1755-1755 The range of member role is an instance of position
(documentation MemberRoleFn EnglishLanguage "(MemberRoleFn ?ORG ?POSITION) denotes the role of having the Position ?POSITION the Organization ?ORG.") Government.kif 1757-1758 The range of member role is an instance of position

appearance as argument number 2
-------------------------


(format EnglishLanguage MemberRoleFn "the member role of %1 and %2") domainEnglishFormat.kif 1693-1693
(format ChineseTraditionalLanguage MemberRoleFn "%2 和 %1 的 member 角色") domainEnglishFormat.kif 1694-1694
(format ChineseLanguage MemberRoleFn "%2 和 %1 的 member 角色") domainEnglishFormat.kif 1695-1695
(termFormat EnglishLanguage MemberRoleFn "member role") domainEnglishFormat.kif 37013-37013
(termFormat ChineseTraditionalLanguage MemberRoleFn "成員角色") domainEnglishFormat.kif 37014-37014
(termFormat ChineseLanguage MemberRoleFn "成员角色") domainEnglishFormat.kif 37015-37015

antecedent
-------------------------


(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))		 Government.kif 1760-1766 If X is an instance of human, Y is an instance of organization, Z is an instance of position, and the member role of Y and Z is an attribute of X, then the member of Y is an attribute of X
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (member ?AGENT ?ORG))		 Government.kif 1768-1774 If X is an instance of human, Y is an instance of organization, Z is an instance of position, and the member role of Y and Z is an attribute of X, then X is a member of Y
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?PERSON
            (MemberRoleFn ?ORG ?POSITION)))
    (occupiesPosition ?PERSON ?POSITION ?ORG))		 Government.kif 1777-1783 If X is an instance of human, Y is an instance of organization, Z is an instance of position, and the member role of Y and Z is an attribute of X, then X holds the position of Z in Y

consequent
-------------------------


(=>
    (occupiesPosition ?PERSON ?POSITION ?ORG)
    (attribute ?PERSON
        (MemberRoleFn ?ORG ?POSITION)))		 Government.kif 1785-1787 If X holds the position of Y in Z, then the member role of Z and Y is an attribute of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners