| 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 24408-24411 | |
| (domain subordinatePosition 1 Organization) | Mid-level-ontology.kif 24404-24404 | |
| (domain subordinatePosition 2 Position) | Mid-level-ontology.kif 24405-24405 | |
| (domain subordinatePosition 3 Position) | Mid-level-ontology.kif 24406-24406 | |
| (instance subordinatePosition TernaryPredicate) | Mid-level-ontology.kif 24403-24403 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage subordinatePosition "%1 %n 是 对于 %3 的 subordinate 职位") | domainEnglishFormat.kif 2399-2399 | |
| (format ChineseTraditionalLanguage subordinatePosition "%1 %n 是 對於 %3 的 subordinate 職位") | domainEnglishFormat.kif 2398-2398 | |
| (format EnglishLanguage subordinatePosition "%1 is %n subordinate position %2 for %3") | domainEnglishFormat.kif 2397-2397 | |
| (termFormat ChineseLanguage subordinatePosition "从属地位") | domainEnglishFormat.kif 55791-55791 | |
| (termFormat ChineseTraditionalLanguage subordinatePosition "從屬地位") | domainEnglishFormat.kif 55790-55790 | |
| (termFormat EnglishLanguage subordinatePosition "subordinate position") | domainEnglishFormat.kif 55789-55789 |
| 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 24413-24421 |
| consequent |
|
|
| (=> (and (attribute ?MILITARY PeaceState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER SecretaryOfDefense)) |
MilitaryPersons.kif 472-477 | |
| (=> (and (attribute ?MILITARY WarState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER President)) |
MilitaryPersons.kif 484-489 | |
| (=> (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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners