occupiesPosition |
(=> (occupiesPosition ?PERSON ?POSITION ?ORG) (attribute ?PERSON (MemberRoleFn ?ORG ?POSITION))) |
Government.kif 1814-1816 |
|
(=> (occupiesPosition ?PERSON ?POSITION ?ORGANIZATION) (member ?PERSON ?ORGANIZATION)) |
Merge.kif 17309-17311 |
|
(=> (occupiesPosition ?PERSON Cleric ?ORG) (and (leader ?ORG ?PERSON) (instance ?ORG ReligiousOrganization))) |
Mid-level-ontology.kif 20890-20894 |
|
(=> (occupiesPosition ?PERSON Leader ?ORG) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?ORG) (agent ?LEADING ?PERSON)))) |
Government.kif 2301-2307 |
|
(=> (occupiesPosition ?PERSON Leader ?ORGANIZATION) (leader ?ORGANIZATION ?PERSON)) |
Government.kif 1342-1344 |
|