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 1749-1750
(domain MemberFn 1 Organization) Government.kif 1746-1746 The number 1 argument of member is an instance of organization
(instance MemberFn UnaryFunction) Government.kif 1745-1745 Member is an instance of unary function
(range MemberFn Position) Government.kif 1747-1747 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 36996-36996
(termFormat ChineseTraditionalLanguage MemberFn "會員") domainEnglishFormat.kif 36995-36995
(termFormat EnglishLanguage MemberFn "member") domainEnglishFormat.kif 36994-36994

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


(=>
    (and
        (attribute ?AGENT
            (MemberFn ?ORG))
        (instance ?AGENT Agent)
        (instance ?ORG Organization))
    (member ?AGENT ?ORG))
Government.kif 1759-1764
(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))
Government.kif 1816-1820

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


(=>
    (and
        (instance ?AGENT Agent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1752-1757
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1774-1780
(=>
    (electionForOrganization ?ELECTION ?GROUP)
    (electionForPosition ?ELECTION
        (MemberFn ?GROUP)))
Government.kif 1812-1814


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