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


KB Term:  Term intersection
English Word: 

Sigma KEE - MemberFn
MemberFn

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


(instance MemberFn UnaryFunction) Government.kif 1731-1731 Member is an instance of unary function
(domain MemberFn 1 Organization) Government.kif 1732-1732 The number 1 argument of member is an instance of organization
(range MemberFn Position) Government.kif 1733-1733 The range of member is an instance of position
(documentation MemberFn EnglishLanguage "(MemberFn ?ORG) denotes the Position of a member in the Organization ?ORG.") Government.kif 1735-1736 The range of member is an instance of position

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


(format EnglishLanguage MemberFn "the member of %1") domainEnglishFormat.kif 1689-1689
(format ChineseTraditionalLanguage MemberFn "%1 的 member ") domainEnglishFormat.kif 1690-1690
(format ChineseLanguage MemberFn "%1 的 member ") domainEnglishFormat.kif 1691-1691
(termFormat EnglishLanguage MemberFn "member") domainEnglishFormat.kif 37007-37007
(termFormat ChineseTraditionalLanguage MemberFn "會員") domainEnglishFormat.kif 37008-37008
(termFormat ChineseLanguage MemberFn "会员") domainEnglishFormat.kif 37009-37009

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


(=>
    (and
        (attribute ?AGENT
            (MemberFn ?ORG))
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization))
    (member ?AGENT ?ORG))		 Government.kif 1745-1750 If the member of X is an attribute of Y, Y is an instance of agent, and X is an instance of organization, then Y is a member of X
(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))		 Government.kif 1802-1806 If X is an instance of organization and the member of X is an election for position of Y, then X is an election for organization of Y

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


(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))		 Government.kif 1738-1743 If X is an instance of agent, Y is an instance of organization, and X is a member of Y, 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)))
    (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
(=>
    (electionForOrganization ?ELECTION ?GROUP)
    (electionForPosition ?ELECTION
        (MemberFn ?GROUP)))		 Government.kif 1798-1800 If X is an election for organization of Y, then the member of X is an election for position of Y


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