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 1750-1751 | |
(domain MemberRoleFn 1 Organization) | Government.kif 1746-1746 | Le nombre 1 argument de MemberRoleFn est une instance de organisation |
(domain MemberRoleFn 2 Position) | Government.kif 1747-1747 | Le nombre 2 argument de MemberRoleFn est une instance de position |
(instance MemberRoleFn BinaryFunction) | Government.kif 1745-1745 | MemberRoleFn est une instance de fonction binaire |
(range MemberRoleFn Position) | Government.kif 1748-1748 | Le domaine de MemberRoleFn est une instance de position |
appearance as argument number 2 |
(format ChineseLanguage MemberRoleFn "%2 和 %1 的 member 角色") | domainEnglishFormat.kif 1691-1691 | |
(format ChineseTraditionalLanguage MemberRoleFn "%2 和 %1 的 member 角色") | domainEnglishFormat.kif 1690-1690 | |
(format EnglishLanguage MemberRoleFn "the member role of %1 and %2") | domainEnglishFormat.kif 1689-1689 | |
(termFormat ChineseLanguage MemberRoleFn "成员角色") | domainEnglishFormat.kif 37013-37013 | |
(termFormat ChineseTraditionalLanguage MemberRoleFn "成員角色") | domainEnglishFormat.kif 37012-37012 | |
(termFormat EnglishLanguage MemberRoleFn "member role") | domainEnglishFormat.kif 37011-37011 |
antecedent |
consequent |
(=> (occupiesPosition ?PERSON ?POSITION ?ORG) (attribute ?PERSON (MemberRoleFn ?ORG ?POSITION))) |
Government.kif 1778-1780 |
|