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 1728-1729
(domain MemberFn 1 Organization)	Government.kif 1725-1725	The number 1 argument of member is an instance of organization
(instance MemberFn UnaryFunction)	Government.kif 1724-1724	Member is an instance of unary function
(range MemberFn Position)	Government.kif 1726-1726	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 37041-37041
(termFormat ChineseTraditionalLanguage MemberFn "會員")	domainEnglishFormat.kif 37040-37040
(termFormat EnglishLanguage MemberFn "member")	domainEnglishFormat.kif 37039-37039

antecedent

(=> (and (attribute ?AGENT (MemberFn ?ORG)) (instance ?AGENT AutonomousAgent) (instance ?ORG Organization)) (member ?AGENT ?ORG))	Government.kif 1738-1743	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 1795-1799	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 AutonomousAgent) (instance ?ORG Organization) (member ?AGENT ?ORG)) (attribute ?AGENT (MemberFn ?ORG)))	Government.kif 1731-1736	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 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
(=> (electionForOrganization ?ELECTION ?GROUP) (electionForPosition ?ELECTION (MemberFn ?GROUP)))	Government.kif 1791-1793	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