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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChairmanPublication
ChairmanPublication(主席出版物)

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


(disjoint ChairmanPublication JointDoctrine) MilitaryProcesses.kif 1026-1026 主席出版物 和 % 2 是 disjoint
(documentation ChairmanPublication EnglishLanguage "A publication by the Chairman of the JCS, subsuming instructions and manuals.") MilitaryProcesses.kif 1028-1029
(externalImage ChairmanPublication "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 43/ Michael_Mullen%2C_CJCS%2C_official_photo_portrait%2C_2007.jpg") pictureList.kif 2653-2653
(partition ChairmanPublication ChairmanInstruction ChairmanManual) MilitaryProcesses.kif 1027-1027 主席出版物 详尽无遗地 partition主席指示主席手册
(subclass ChairmanPublication Text) MilitaryProcesses.kif 1025-1025 主席出版物文本subclass

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


(subclass ChairmanInstruction ChairmanPublication) MilitaryProcesses.kif 1055-1055 主席指示主席出版物subclass
(subclass ChairmanManual ChairmanPublication) MilitaryProcesses.kif 1067-1067 主席手册主席出版物subclass
(termFormat ChineseLanguage ChairmanPublication "主席出版物") domainEnglishFormat.kif 14052-14052
(termFormat ChineseTraditionalLanguage ChairmanPublication "主席出版物") domainEnglishFormat.kif 14051-14051
(termFormat EnglishLanguage ChairmanPublication "chairman publication") domainEnglishFormat.kif 14050-14050

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


(=>
    (instance ?PUB ChairmanPublication)
    (exists (?MANAGING ?H)
        (and
            (instance ?MANAGING Managing)
            (attribute ?H ChairmanJCS)
            (agent ?MANAGING ?H)
            (patient ?MANAGING ?PUB))))
MilitaryProcesses.kif 1034-1041
(=>
    (instance ?PUB ChairmanPublication)
    (exists (?SIGNING ?H)
        (and
            (instance ?SIGNING SigningAnAgreement)
            (attribute ?H ChairmanJCS)
            (agent ?SIGNING ?H)
            (patient ?SIGNING ?PUB))))
MilitaryProcesses.kif 1046-1053


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