Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MemberFn
MemberFn

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


(documentation MemberFn EnglishLanguage "(MemberFn ?ORG) denotes the Position of a member in the Organization ?ORG.") Government.kif 1724-1725
(domain MemberFn 1 Organization) Government.kif 1721-1721 The number 1 argument of member is an instance of organization
(instance MemberFn UnaryFunction) Government.kif 1720-1720 Member is an instance of unary function
(range MemberFn Position) Government.kif 1722-1722 The range of member is an instance of position

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


(format EnglishLanguage MemberFn "the member of %1") domainEnglishFormat.kif 430-430
(termFormat EnglishLanguage MemberFn "member") domainEnglishFormat.kif 6588-6588 "member" is the printable form of member in english language

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


(=>
    (and
        (attribute ?AGENT
            (MemberFn ?ORG))
        (instance ?AGENT Agent)
        (instance ?ORG Organization))
    (member ?AGENT ?ORG))
Government.kif 1734-1739
(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))
Government.kif 1791-1795

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


(=>
    (and
        (instance ?AGENT Agent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1727-1732
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1749-1755
(=>
    (electionForOrganization ?ELECTION ?GROUP)
    (electionForPosition ?ELECTION
        (MemberFn ?GROUP)))
Government.kif 1787-1789


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners