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 1726-1727
(domain MemberFn 1 Organization) Government.kif 1723-1723 The number 1 argument of member is an instance of organization
(instance MemberFn UnaryFunction) Government.kif 1722-1722 Member is an instance of unary function
(range MemberFn Position) Government.kif 1724-1724 The range of member is an instance of position

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 37036-37036
(termFormat ChineseTraditionalLanguage MemberFn "會員") domainEnglishFormat.kif 37035-37035
(termFormat EnglishLanguage MemberFn "member") domainEnglishFormat.kif 37034-37034

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


(=>
    (and
        (attribute ?AGENT
            (MemberFn ?ORG))
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization))
    (member ?AGENT ?ORG))
Government.kif 1736-1741
(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))
Government.kif 1793-1797

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


(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1729-1734
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1751-1757
(=>
    (electionForOrganization ?ELECTION ?GROUP)
    (electionForPosition ?ELECTION
        (MemberFn ?GROUP)))
Government.kif 1789-1791


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 is open source software produced by Articulate Software and its partners