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 | Die Zahl 1 Argument von MemberRoleFn ist ein fall von Organization %n{nicht} |
(domain MemberRoleFn 2 Position) | Government.kif 1747-1747 | Die Zahl 2 Argument von MemberRoleFn ist ein fall von Position %n{nicht} |
(instance MemberRoleFn BinaryFunction) | Government.kif 1745-1745 | MemberRoleFn ist ein fall von BinaryFunction %n{nicht} |
(range MemberRoleFn Position) | Government.kif 1748-1748 | bildbereich von MemberRoleFn ist ein fall von Position {nicht} |
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 |
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (attribute ?AGENT (MemberFn ?ORG))) |
Government.kif 1753-1759 |
|
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (member ?AGENT ?ORG)) |
Government.kif 1761-1767 |
|
(=> (and (instance ?PERSON Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?PERSON (MemberRoleFn ?ORG ?POSITION))) (occupiesPosition ?PERSON ?POSITION ?ORG)) |
Government.kif 1770-1776 |
|
consequent |
(=> (occupiesPosition ?PERSON ?POSITION ?ORG) (attribute ?PERSON (MemberRoleFn ?ORG ?POSITION))) |
Government.kif 1778-1780 |
|