MemberRoleFn - Sigma Knowledge base Browser

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	The number 1 argument of member role is an instance of organization
(domain MemberRoleFn 2 Position)	Government.kif 1747-1747	The number 2 argument of member role is an instance of position
(instance MemberRoleFn BinaryFunction)	Government.kif 1745-1745	Member role is an instance of binary function
(range MemberRoleFn Position)	Government.kif 1748-1748	The range of member role is an instance of 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 37047-37047
(termFormat ChineseTraditionalLanguage MemberRoleFn "成員角色")	domainEnglishFormat.kif 37046-37046
(termFormat EnglishLanguage MemberRoleFn "member role")	domainEnglishFormat.kif 37045-37045

antecedent

(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (attribute ?AGENT (MemberFn ?ORG)))	Government.kif 1753-1759	If an object is an instance of human and an organization is an instance of organization and a position is an instance of position and the member role of the organization and the position is an attribute of the object, then the member of the organization is an attribute of the object
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (member ?AGENT ?ORG))	Government.kif 1761-1767	If an object is an instance of human and an organization is an instance of organization and a position is an instance of position and the member role of the organization and the position is an attribute of the object, then the object is a member of the organization
(=> (and (instance ?PERSON Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?PERSON (MemberRoleFn ?ORG ?POSITION))) (occupiesPosition ?PERSON ?POSITION ?ORG))	Government.kif 1770-1776	If a human is an instance of human and an organization is an instance of organization and a position is an instance of position and the member role of the organization and the position is an attribute of the human, then the human holds the position of the position in the organization

consequent

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

Government.kif 1778-1780

If a human holds the position of a position in an organization,
then the member role of the organization and the position is an attribute of the human

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