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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MemberRoleFn
MemberRoleFn

appearance as argument number 1
-------------------------


(documentation MemberRoleFn EnglishLanguage "(MemberRoleFn ?ORG ?POSITION) denotes the role of having the Position ?POSITION the Organization ?ORG.") Government.kif 1786-1787
(domain MemberRoleFn 1 Organization) Government.kif 1782-1782 MemberRoleFn の数値 1 引数は 組織instance では %n
(domain MemberRoleFn 2 Position) Government.kif 1783-1783 MemberRoleFn の数値 2 引数は ポジションinstance では %n
(instance MemberRoleFn BinaryFunction) Government.kif 1781-1781 MemberRoleFn2変数関数instance では %n
(range MemberRoleFn Position) Government.kif 1784-1784 MemberRoleFnrangeポジション のインスタンス では %n

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


(format ChineseLanguage MemberRoleFn "%2 和 %1 的 member 角色") domainEnglishFormat.kif 1691-1691
(format ChineseTraditionalLanguage MemberRoleFn "%2 和 %1 的 member 角色") domainEnglishFormat.kif 1690-1690
(format EnglishLanguage MemberRoleFn "the member role of %1 and %2") domainEnglishFormat.kif 1689-1689
(termFormat ChineseLanguage MemberRoleFn "成员角色") domainEnglishFormat.kif 37013-37013
(termFormat ChineseTraditionalLanguage MemberRoleFn "成員角色") domainEnglishFormat.kif 37012-37012
(termFormat EnglishLanguage MemberRoleFn "member role") domainEnglishFormat.kif 37011-37011

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


(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1789-1795
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (member ?AGENT ?ORG))
Government.kif 1797-1803
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?PERSON
            (MemberRoleFn ?ORG ?POSITION)))
    (occupiesPosition ?PERSON ?POSITION ?ORG))
Government.kif 1806-1812

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


(=>
    (occupiesPosition ?PERSON ?POSITION ?ORG)
    (attribute ?PERSON
        (MemberRoleFn ?ORG ?POSITION)))
Government.kif 1814-1816


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