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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JointPublication
JointPublication

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


(documentation JointPublication EnglishLanguage "A publication containing joint doctrine that is prepared under the direction and authority of the Chairman of the Joint Chiefs of Staff and applies to all US military forces. Also called JP.") MilitaryProcesses.kif 922-925
(externalImage JointPublication "http://upload.wikimedia.org/wikipedia/commons/ d/ d4/ Joint_Chiefs_of_Staff_seal.svg") pictureList.kif 2695-2695
(subclass JointPublication Text) MilitaryProcesses.kif 921-921

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


(subclass AboveTheLine JointPublication) MilitaryProcesses.kif 954-954
(subclass BelowTheLine JointPublication) MilitaryProcesses.kif 972-972
(subclass JointDoctrine JointPublication) MilitaryProcesses.kif 1016-1016
(subclass JointTest JointPublication) MilitaryProcesses.kif 1098-1098
(termFormat ChineseLanguage JointPublication "联合出版物") domainEnglishFormat.kif 31633-31633
(termFormat ChineseTraditionalLanguage JointPublication "聯合出版物") domainEnglishFormat.kif 31632-31632
(termFormat EnglishLanguage JointPublication "Joint Publication") MilitaryProcesses.kif 2722-2722
(termFormat EnglishLanguage JointPublication "joint publication") domainEnglishFormat.kif 31631-31631

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


(=>
    (and
        (instance ?PUB JointPublication)
        (containsInformation ?PUB ?CONTENT)
        (authors ?JORG ?PUB))
    (exists (?ORG)
        (and
            (subOrganization ?ORG USMilitary)
            (confersObligation ?CONTENT ?JORG ?ORG))))
MilitaryProcesses.kif 940-948
(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners