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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JointPublication

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 2694-2694
(subclass JointPublication Text) MilitaryProcesses.kif 921-921 联合出版物文本subclass

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


(subclass AboveTheLine JointPublication) MilitaryProcesses.kif 955-955 在线以上联合出版物subclass
(subclass BelowTheLine JointPublication) MilitaryProcesses.kif 973-973 在线下面联合出版物subclass
(subclass JointDoctrine JointPublication) MilitaryProcesses.kif 1017-1017 联合作战准则联合出版物subclass
(subclass JointTest JointPublication) MilitaryProcesses.kif 1099-1099 联合测试联合出版物subclass
(termFormat ChineseLanguage JointPublication "联合出版物") domainEnglishFormat.kif 31729-31729
(termFormat ChineseTraditionalLanguage JointPublication "聯合出版物") domainEnglishFormat.kif 31728-31728
(termFormat EnglishLanguage JointPublication "Joint Publication") MilitaryProcesses.kif 2766-2766
(termFormat EnglishLanguage JointPublication "joint publication") domainEnglishFormat.kif 31727-31727

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


(=>
    (and
        (subclass ?PUB JointPublication)
        (instance ?ONE ?PUB)
        (containsInformation ?ONE ?CONTENT)
        (authors ?JORG ?PUB))
    (exists (?ORG)
        (and
            (subOrganization ?ORG USMilitary)
            (confersObligation ?CONTENT ?JORG ?ORG))))
MilitaryProcesses.kif 940-949
(=>
    (instance ?PUB JointPublication)
    (exists (?MANAGING ?H)
        (and
            (instance ?MANAGING Managing)
            (attribute ?H ChairmanJCS)
            (agent ?MANAGING ?H)
            (patient ?MANAGING ?PUB))))
MilitaryProcesses.kif 930-937


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