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 | MemberFn の数値 1 引数は 組織 の instance では %n |
(instance MemberFn UnaryFunction) | Government.kif 1724-1724 | MemberFn は 1変数関数 の instance では %n |
(range MemberFn Position) | Government.kif 1726-1726 | MemberFn の range は ポジション のインスタンス では %n |
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 1738-1743 | |
(=> (and (instance ?GROUP Organization) (electionForPosition ?ELECTION (MemberFn ?GROUP))) (electionForOrganization ?ELECTION ?GROUP)) |
Government.kif 1795-1799 |
|
consequent |
(=> (and (instance ?AGENT AutonomousAgent) (instance ?ORG Organization) (member ?AGENT ?ORG)) (attribute ?AGENT (MemberFn ?ORG))) |
Government.kif 1731-1736 | |
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (attribute ?AGENT (MemberFn ?ORG))) |
Government.kif 1753-1759 | |
(=> (electionForOrganization ?ELECTION ?GROUP) (electionForPosition ?ELECTION (MemberFn ?GROUP))) |
Government.kif 1791-1793 |