Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| subordinatePosition |
| appearance as argument number 1 |
|
| (instance subordinatePosition TernaryPredicate) | Mid-level-ontology.kif 25021-25021 | subordinate position is an instance of ternary predicate |
| (domain subordinatePosition 1 Organization) | Mid-level-ontology.kif 25022-25022 | The number 1 argument of subordinate position is an instance of organization |
| (domain subordinatePosition 2 Position) | Mid-level-ontology.kif 25023-25023 | The number 2 argument of subordinate position is an instance of position |
| (domain subordinatePosition 3 Position) | Mid-level-ontology.kif 25024-25024 | The number 3 argument of subordinate position is an instance of position |
| (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 25026-25029 | The number 3 argument of subordinate position is an instance of position |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage subordinatePosition "%1 is %n subordinate position %2 for %3") | domainEnglishFormat.kif 2397-2397 | |
| (format ChineseTraditionalLanguage subordinatePosition "%1 %n 是 對於 %3 的 subordinate 職位") | domainEnglishFormat.kif 2398-2398 | |
| (format ChineseLanguage subordinatePosition "%1 %n 是 对于 %3 的 subordinate 职位") | domainEnglishFormat.kif 2399-2399 | |
| (termFormat EnglishLanguage subordinatePosition "subordinate position") | domainEnglishFormat.kif 55753-55753 | |
| (termFormat ChineseTraditionalLanguage subordinatePosition "從屬地位") | domainEnglishFormat.kif 55754-55754 | |
| (termFormat ChineseLanguage subordinatePosition "从属地位") | domainEnglishFormat.kif 55755-55755 |
| 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 25031-25039 | If X is subordinate position Y for Z and W holds the position of Y in X, then there exists V such that V is an instance of human, V holds the position of Z in X, and X is subordinate in organization W for V |
| consequent |
|
|
| (=> (and (attribute ?MILITARY PeaceState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER SecretaryOfDefense)) |
MilitaryPersons.kif 475-480 | If peace state is an attribute of X, X is an instance of military organization, and Y is a leader position of X, then X is subordinate position Y for secretary of defense |
| (=> (and (attribute ?MILITARY WarState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER President)) |
MilitaryPersons.kif 487-492 | If war state is an attribute of X, X is an instance of military organization, and Y is a leader position of X, then X is subordinate position Y for president |
| (=> (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 1604-1626 | If X is an instance of operation planning and Y is an agent of X, then Y is an instance of combatant commander and there exist Z, W such that Z is an instance of requesting, W is an agent of Z, chairmanJC s is an attribute of W, and Z causes X or Y is an instance of subunified commander and All of the following hold: (1) there exist Z, V (2) U such that Z is an instance of requesting (3) V is an agent of Z (4) military commander is an attribute of V (5) U is subordinate position Y for V (6) U is an instance of military force (7) Z causes X |
| (=> (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 1685-1695 | If X is an instance of operation order, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an agent of X (3) X originates at Y (4) X ends up at Z (5) Y is an instance of military commander (6) Z is an instance of military commander (7) W is subordinate position Z for Y (8) W is an instance of military force |
| (=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (leaderPosition ?FORCE1 ?COMMANDER1) (leaderPosition ?JOINT ?JOINTCOMMANDER)) (subordinatePosition ?JOINT ?COMMANDER1 ?JOINTCOMMANDER)) |
MilitaryProcesses.kif 1773-1779 | If X is an instance of joint forces, Y is a part of the organization X, Z is a leader position of Y, and W is a leader position of X, then X is subordinate position Z for W |
|