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 1764-1765
(domain MemberFn 1 Organization) Government.kif 1761-1761 The number 1 argument of member is an instance of organization
(instance MemberFn UnaryFunction) Government.kif 1760-1760 Member is an instance of unary function
(range MemberFn Position) Government.kif 1762-1762 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 37007-37007
(termFormat ChineseTraditionalLanguage MemberFn "會員") domainEnglishFormat.kif 37006-37006
(termFormat EnglishLanguage MemberFn "member") domainEnglishFormat.kif 37005-37005

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


(=>
    (and
        (attribute ?AGENT
            (MemberFn ?ORG))
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization))
    (member ?AGENT ?ORG))
Government.kif 1774-1779
(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))
Government.kif 1831-1835

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


(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1767-1772
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1789-1795
(=>
    (electionForOrganization ?ELECTION ?GROUP)
    (electionForPosition ?ELECTION
        (MemberFn ?GROUP)))
Government.kif 1827-1829


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