MemberFn |
appearance as argument number 1 |
(documentation MemberFn EnglishLanguage "(MemberFn ?ORG) denotes the Position of a member in the Organization ?ORG.") | Government.kif 1764-1765 | |
(domain MemberFn 1 Organization) | Government.kif 1761-1761 | The number 1 argument of member is an instance of organization |
(instance MemberFn UnaryFunction) | Government.kif 1760-1760 | Member is an instance of unary function |
(range MemberFn Position) | Government.kif 1762-1762 | 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 37007-37007 | |
(termFormat ChineseTraditionalLanguage MemberFn "會員") | domainEnglishFormat.kif 37006-37006 | |
(termFormat EnglishLanguage MemberFn "member") | domainEnglishFormat.kif 37005-37005 |
antecedent |
(=> (and (attribute ?AGENT (MemberFn ?ORG)) (instance ?AGENT AutonomousAgent) (instance ?ORG Organization)) (member ?AGENT ?ORG)) |
Government.kif 1774-1779 |
|
(=> (and (instance ?GROUP Organization) (electionForPosition ?ELECTION (MemberFn ?GROUP))) (electionForOrganization ?ELECTION ?GROUP)) |
Government.kif 1831-1835 |
|
consequent |