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 1718-1719
(domain MemberFn 1 Organization) Government.kif 1715-1715
(instance MemberFn UnaryFunction) Government.kif 1714-1714
(range MemberFn Position) Government.kif 1716-1716

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


(format ChineseLanguage MemberFn "%1 的 member ") domainEnglishFormat.kif 1687-1687
(format ChineseTraditionalLanguage MemberFn "%1 的 member ") domainEnglishFormat.kif 1686-1686
(format EnglishLanguage MemberFn "the member of %1") domainEnglishFormat.kif 1685-1685
(termFormat ChineseLanguage MemberFn "会员") domainEnglishFormat.kif 36931-36931
(termFormat ChineseTraditionalLanguage MemberFn "會員") domainEnglishFormat.kif 36930-36930
(termFormat EnglishLanguage MemberFn "member") domainEnglishFormat.kif 36929-36929

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


(=>
    (and
        (attribute ?AGENT
            (MemberFn ?ORG))
        (instance ?AGENT Agent)
        (instance ?ORG Organization))
    (member ?AGENT ?ORG))
Government.kif 1728-1733
(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))
Government.kif 1785-1789

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


(=>
    (and
        (instance ?AGENT Agent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1721-1726
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1743-1749
(=>
    (electionForOrganization ?ELECTION ?GROUP)
    (electionForPosition ?ELECTION
        (MemberFn ?GROUP)))
Government.kif 1781-1783


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