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 1748-1749
(domain MemberRoleFn 1 Organization)	Government.kif 1744-1744	The number 1 argument of member role is an instance of organization
(domain MemberRoleFn 2 Position)	Government.kif 1745-1745	The number 2 argument of member role is an instance of position
(instance MemberRoleFn BinaryFunction)	Government.kif 1743-1743	Member role is an instance of binary function
(range MemberRoleFn Position)	Government.kif 1746-1746	The range of member role is an instance of position

appearance as argument number 2

(format ChineseLanguage MemberRoleFn "%2 和 %1 的 member 角色")	domainEnglishFormat.kif 1695-1695
(format ChineseTraditionalLanguage MemberRoleFn "%2 和 %1 的 member 角色")	domainEnglishFormat.kif 1694-1694
(format EnglishLanguage MemberRoleFn "the member role of %1 and %2")	domainEnglishFormat.kif 1693-1693
(termFormat ChineseLanguage MemberRoleFn "成员角色")	domainEnglishFormat.kif 37039-37039
(termFormat ChineseTraditionalLanguage MemberRoleFn "成員角色")	domainEnglishFormat.kif 37038-37038
(termFormat EnglishLanguage MemberRoleFn "member role")	domainEnglishFormat.kif 37037-37037

antecedent

(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (attribute ?AGENT (MemberFn ?ORG)))	Government.kif 1751-1757	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 1759-1765	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 1768-1774	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 1776-1778

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