TreeView Knowledge Base Browser - MemberRoleFn

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 1750-1751
(domain MemberRoleFn 1 Organization)	Government.kif 1746-1746	域成員角色, 1 and Organization
(domain MemberRoleFn 2 Position)	Government.kif 1747-1747	域成員角色, 2 and Position
(instance MemberRoleFn BinaryFunction)	Government.kif 1745-1745	例成員角色 and BinaryFunction
(range MemberRoleFn Position)	Government.kif 1748-1748	範圍成員角色 and Position

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 1753-1759	例 Object and Human 例 Organization and Organization 例 Position and Position attribute Object and Position 和 Organization 的 member 角色 attribute Object and Organization 的 member
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (member ?AGENT ?ORG))	Government.kif 1761-1767	例 Object and Human 例 Organization and Organization 例 Position and Position attribute Object and Position 和 Organization 的 member 角色會員 Object and Organization
(=> (and (instance ?PERSON Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?PERSON (MemberRoleFn ?ORG ?POSITION))) (occupiesPosition ?PERSON ?POSITION ?ORG))	Government.kif 1770-1776	例 Human and Human 例 Organization and Organization 例 Position and Position attribute Human and Position 和 Organization 的 member 角色佔據位置 Human, Position and Organization

consequent

(=>
    (occupiesPosition ?PERSON ?POSITION ?ORG)
    (attribute ?PERSON
        (MemberRoleFn ?ORG ?POSITION)))

Government.kif 1778-1780

佔據位置 Human, Position and Organization
attribute Human and Position 和 Organization 的 member 角色

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