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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChairmanJCS
ChairmanJCS

appearance as argument number 1
-------------------------


(documentation ChairmanJCS EnglishLanguage "The chairman of the Joint Chiefs of Staff.") MilitaryProcesses.kif 918-919
(instance ChairmanJCS Position) MilitaryProcesses.kif 912-912

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


(leaderPosition JointChiefsOfStaff ChairmanJCS) MilitaryProcesses.kif 917-917
(leaderPosition JointStaff ChairmanJCS) MilitaryProcesses.kif 899-899
(termFormat ChineseLanguage ChairmanJCS "主席JCs") domainEnglishFormat.kif 13975-13975
(termFormat ChineseTraditionalLanguage ChairmanJCS "主席JCs") domainEnglishFormat.kif 13974-13974
(termFormat EnglishLanguage ChairmanJCS "Chairman of the Joint Chiefs of Staff") MilitaryProcesses.kif 2720-2720
(termFormat EnglishLanguage ChairmanJCS "chairmanJC s") domainEnglishFormat.kif 13973-13973

antecedent
-------------------------


(=>
    (attribute ?H ChairmanJCS)
    (member ?H JointChiefsOfStaff))
MilitaryProcesses.kif 914-916

consequent
-------------------------


(=>
    (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 ?PUB AboveTheLine)
    (exists (?SIGNING ?H)
        (and
            (instance ?SIGNING SigningAnAgreement)
            (attribute ?H ChairmanJCS)
            (agent ?SIGNING ?H)
            (patient ?SIGNING ?PUB))))
MilitaryProcesses.kif 963-970
(=>
    (instance ?PUB ChairmanPublication)
    (exists (?MANAGING ?H)
        (and
            (instance ?MANAGING Managing)
            (attribute ?H ChairmanJCS)
            (agent ?MANAGING ?H)
            (patient ?MANAGING ?PUB))))
MilitaryProcesses.kif 1033-1040
(=>
    (instance ?PUB ChairmanPublication)
    (exists (?SIGNING ?H)
        (and
            (instance ?SIGNING SigningAnAgreement)
            (attribute ?H ChairmanJCS)
            (agent ?SIGNING ?H)
            (patient ?SIGNING ?PUB))))
MilitaryProcesses.kif 1045-1052
(=>
    (instance ?PUB JointPublication)
    (exists (?MANAGING ?H)
        (and
            (instance ?MANAGING Managing)
            (attribute ?H ChairmanJCS)
            (agent ?MANAGING ?H)
            (patient ?MANAGING ?PUB))))
MilitaryProcesses.kif 930-937


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