|
|
   ChairmanPublication
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint ChairmanPublication JointDoctrine) | MilitaryProcesses.kif 1026-1026 | ChairmanPublication ist dijunkt von JointDoctrine %n{nicht} |
| (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 | ChairmanPublication wird vollstaendig in ChairmanInstruction und ChairmanManual verteilt |
| (subclass ChairmanPublication Text) | MilitaryProcesses.kif 1025-1025 | ChairmanPublication ist eine teilkategorie von Text |
| appearance as argument number 2 |
|
|
| (subclass ChairmanInstruction ChairmanPublication) | MilitaryProcesses.kif 1055-1055 | ChairmanInstruction ist eine teilkategorie von ChairmanPublication |
| (subclass ChairmanManual ChairmanPublication) | MilitaryProcesses.kif 1067-1067 | ChairmanManual ist eine teilkategorie von ChairmanPublication |
| (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 |
|
|
|
|
