MemberFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 1749-1750
(domain MemberFn 1 Organization)	Government.kif 1746-1746	The number 1 argument of member is an instance of organization
(instance MemberFn UnaryFunction)	Government.kif 1745-1745	Member is an instance of unary function
(range MemberFn Position)	Government.kif 1747-1747	The range of member is an instance of position

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 36996-36996
(termFormat ChineseTraditionalLanguage MemberFn "會員")	domainEnglishFormat.kif 36995-36995
(termFormat EnglishLanguage MemberFn "member")	domainEnglishFormat.kif 36994-36994

antecedent

(=> (and (attribute ?AGENT (MemberFn ?ORG)) (instance ?AGENT Agent) (instance ?ORG Organization)) (member ?AGENT ?ORG))	Government.kif 1759-1764	If the member of an organization is an attribute of an object and the object is an instance of agent and the organization is an instance of organization, then the object is a member of the organization
(=> (and (instance ?GROUP Organization) (electionForPosition ?ELECTION (MemberFn ?GROUP))) (electionForOrganization ?ELECTION ?GROUP))	Government.kif 1816-1820	If an organization is an instance of organization and the member of the organization is an election for position of an election, then the organization is an election for organization of the election

consequent

(=> (and (instance ?AGENT Agent) (instance ?ORG Organization) (member ?AGENT ?ORG)) (attribute ?AGENT (MemberFn ?ORG)))	Government.kif 1752-1757	If an object is an instance of agent and an organization is an instance of organization and the object is a member of the organization, 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))) (attribute ?AGENT (MemberFn ?ORG)))	Government.kif 1774-1780	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
(=> (electionForOrganization ?ELECTION ?GROUP) (electionForPosition ?ELECTION (MemberFn ?GROUP)))	Government.kif 1812-1814	If an organization is an election for organization of an election, then the member of the organization is an election for position of the election

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