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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChairmanPublication
ChairmanPublication(chairman publication)

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


(disjoint ChairmanPublication JointDoctrine) MilitaryProcesses.kif 1025-1025 Chairman publication is disjoint from joint doctrine
(documentation ChairmanPublication EnglishLanguage "A publication by the Chairman of the JCS, subsuming instructions and manuals.") MilitaryProcesses.kif 1027-1028
(externalImage ChairmanPublication "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 43/ Michael_Mullen%2C_CJCS%2C_official_photo_portrait%2C_2007.jpg") pictureList.kif 2654-2654
(partition ChairmanPublication ChairmanInstruction ChairmanManual) MilitaryProcesses.kif 1026-1026 Chairman publication is exhaustively partitioned into chairman instruction and chairman manual
(subclass ChairmanPublication Text) MilitaryProcesses.kif 1024-1024 Chairman publication is a subclass of text

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


(subclass ChairmanInstruction ChairmanPublication) MilitaryProcesses.kif 1054-1054 Chairman instruction is a subclass of chairman publication
(subclass ChairmanManual ChairmanPublication) MilitaryProcesses.kif 1066-1066 Chairman manual is a subclass of chairman publication
(termFormat ChineseLanguage ChairmanPublication "主席出版物") domainEnglishFormat.kif 13987-13987
(termFormat ChineseTraditionalLanguage ChairmanPublication "主席出版物") domainEnglishFormat.kif 13986-13986
(termFormat EnglishLanguage ChairmanPublication "chairman publication") domainEnglishFormat.kif 13985-13985

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


(=>
    (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


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