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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Deacon

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 22800-22803
(domain subordinatePosition 1 Organization) Mid-level-ontology.kif 22796-22796 从属地位 的 1 数量 是 机构instance
(domain subordinatePosition 2 Position) Mid-level-ontology.kif 22797-22797 从属地位 的 2 数量 是 地位instance
(domain subordinatePosition 3 Position) Mid-level-ontology.kif 22798-22798 从属地位 的 3 数量 是 地位instance
(instance subordinatePosition TernaryPredicate) Mid-level-ontology.kif 22795-22795 从属地位三元谓语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 55760-55760
(termFormat ChineseTraditionalLanguage subordinatePosition "從屬地位") domainEnglishFormat.kif 55759-55759
(termFormat EnglishLanguage subordinatePosition "subordinate position") domainEnglishFormat.kif 55758-55758

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 22805-22813

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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