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 | Il numero 1 argomenti di MemberRoleFn è un istanza di Organizzazione |
(domain MemberRoleFn 2 Position) | Government.kif 1747-1747 | Il numero 2 argomenti di MemberRoleFn è un istanza di Posizione |
(instance MemberRoleFn BinaryFunction) | Government.kif 1745-1745 | MemberRoleFn è un' istanza di FunzioneBinaria |
(range MemberRoleFn Position) | Government.kif 1748-1748 | rango di MemberRoleFn è un'istanza di Posizione |
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 |
|