Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subordinatePosition
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 20623-20626
(domain subordinatePosition 1 Organization) Mid-level-ontology.kif 20619-20619 The number 1 argument of subordinate position is an instance of organization
(domain subordinatePosition 2 Position) Mid-level-ontology.kif 20620-20620 The number 2 argument of subordinate position is an instance of position
(domain subordinatePosition 3 Position) Mid-level-ontology.kif 20621-20621 The number 3 argument of subordinate position is an instance of position
(instance subordinatePosition TernaryPredicate) Mid-level-ontology.kif 20618-20618 subordinate position is an instance of ternary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage subordinatePosition "%1 %n 是 对于 %3 的 subordinate 职位") domainEnglishFormat.kif 2391-2391
(format ChineseTraditionalLanguage subordinatePosition "%1 %n 是 對於 %3 的 subordinate 職位") domainEnglishFormat.kif 2390-2390
(format EnglishLanguage subordinatePosition "%1 is %n subordinate position %2 for %3") domainEnglishFormat.kif 2389-2389
(termFormat ChineseLanguage subordinatePosition "从属地位") domainEnglishFormat.kif 55699-55699 "从属地位" is the printable form of subordinate position in ChineseLanguage
(termFormat ChineseTraditionalLanguage subordinatePosition "從屬地位") domainEnglishFormat.kif 55698-55698 "從屬地位" is the printable form of subordinate position in ChineseTraditionalLanguage
(termFormat EnglishLanguage subordinatePosition "subordinate position") domainEnglishFormat.kif 55697-55697 "subordinate position" is the printable form of subordinate position in english language

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 20628-20636

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 1732-1738
(=>
    (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 1563-1585
(=>
    (instance ?ORDER OperationOrder)
    (exists (?SUPERIORCOMMANDER ?SUBORDINATECOMMANDER)
        (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 1644-1654


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners