subordinatePosition |
appearance as argument number 1 |
(documentation subordinatePosition EnglishLanguage "(subordinatePosition ?ORG ?SUB ?SUPER) means that in the Organization ?ORG, the holder of role ?SUB is subordinate to the holder of role ?SUPER.") | Mid-level-ontology.kif 22748-22751 | |
(domain subordinatePosition 1 Organization) | Mid-level-ontology.kif 22744-22744 | 从属地位 的 1 数量 是 机构 的 instance |
(domain subordinatePosition 2 Position) | Mid-level-ontology.kif 22745-22745 | 从属地位 的 2 数量 是 地位 的 instance |
(domain subordinatePosition 3 Position) | Mid-level-ontology.kif 22746-22746 | 从属地位 的 3 数量 是 地位 的 instance |
(instance subordinatePosition TernaryPredicate) | Mid-level-ontology.kif 22743-22743 | 从属地位 是 三元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage subordinatePosition "%1 %n 是 对于 %3 的 subordinate 职位") | domainEnglishFormat.kif 2395-2395 | |
(format ChineseTraditionalLanguage subordinatePosition "%1 %n 是 對於 %3 的 subordinate 職位") | domainEnglishFormat.kif 2394-2394 | |
(format EnglishLanguage subordinatePosition "%1 is %n subordinate position %2 for %3") | domainEnglishFormat.kif 2393-2393 | |
(termFormat ChineseLanguage subordinatePosition "从属地位") | domainEnglishFormat.kif 55758-55758 | |
(termFormat ChineseTraditionalLanguage subordinatePosition "從屬地位") | domainEnglishFormat.kif 55757-55757 | |
(termFormat EnglishLanguage subordinatePosition "subordinate position") | domainEnglishFormat.kif 55756-55756 |
antecedent |
(=> (and (subordinatePosition ?ORG ?ROLE1 ?ROLE2) (occupiesPosition ?PERSON1 ?ROLE1 ?ORG)) (exists (?PERSON2) (and (instance ?PERSON2 Human) (occupiesPosition ?PERSON2 ?ROLE2 ?ORG) (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2)))) |
Mid-level-ontology.kif 22753-22761 |
consequent |
(=> (and (attribute ?MILITARY PeaceState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER SecretaryOfDefense)) |
MilitaryPersons.kif 461-466 | |
(=> (and (attribute ?MILITARY WarState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER President)) |
MilitaryPersons.kif 473-478 | |
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (leaderPosition ?FORCE1 ?COMMANDER1) (leaderPosition ?JOINT ?JOINTCOMMANDER)) (subordinatePosition ?JOINT ?COMMANDER1 ?JOINTCOMMANDER)) |
MilitaryProcesses.kif 1751-1757 | |
(=> (and (instance ?PLANNING OperationPlanning) (agent ?PLANNING ?COMMANDER)) (or (and (instance ?COMMANDER CombatantCommander) (exists (?REQUEST ?CHAIRMAN) (and (instance ?REQUEST Requesting) (agent ?REQUEST ?CHAIRMAN) (attribute ?CHAIRMAN ChairmanJCS) (causes ?REQUEST ?PLANNING)))) (and (instance ?COMMANDER SubunifiedCommander) (exists (?REQUEST ?COMMANDERSUPER ?MILITARY) (and (instance ?REQUEST Requesting) (agent ?REQUEST ?COMMANDERSUPER) (attribute ?COMMANDERSUPER MilitaryCommander) (subordinatePosition ?MILITARY ?COMMANDER ?COMMANDERSUPER) (instance ?MILITARY MilitaryForce) (causes ?REQUEST ?PLANNING)))))) |
MilitaryProcesses.kif 1582-1604 |
|
(=> (instance ?ORDER OperationOrder) (exists (?SUPERIORCOMMANDER ?SUBORDINATECOMMANDER ?MILITARY) (and (agent ?ORDER ?SUPERIORCOMMANDER) (origin ?ORDER ?SUPERIORCOMMANDER) (destination ?ORDER ?SUBORDINATECOMMANDER) (instance ?SUPERIORCOMMANDER MilitaryCommander) (instance ?SUBORDINATECOMMANDER MilitaryCommander) (subordinatePosition ?MILITARY ?SUBORDINATECOMMANDER ?SUPERIORCOMMANDER) (instance ?MILITARY MilitaryForce)))) |
MilitaryProcesses.kif 1663-1673 |