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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MemberFn

 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 1728-1729
(domain MemberFn 1 Organization) Government.kif 1725-1725
(instance MemberFn UnaryFunction) Government.kif 1724-1724
(range MemberFn Position) Government.kif 1726-1726

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 1738-1743
(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))		 Government.kif 1795-1799

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


(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))		 Government.kif 1731-1736
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))		 Government.kif 1753-1759
(=>
    (electionForOrganization ?ELECTION ?GROUP)
    (electionForPosition ?ELECTION
        (MemberFn ?GROUP)))		 Government.kif 1791-1793


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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