| ChairmanPublication(chairman publication)
|
| appearance as argument number 1 |
|
| (subclass ChairmanPublication Text) | MilitaryProcesses.kif 1044-1044 | Chairman publication is a subclass of text |
| (disjoint ChairmanPublication JointDoctrine) | MilitaryProcesses.kif 1045-1045 | Chairman publication is disjoint from joint doctrine |
| (partition ChairmanPublication ChairmanInstruction ChairmanManual) | MilitaryProcesses.kif 1046-1046 | Chairman publication is exhaustively partitioned into chairman instruction and chairman manual |
| (documentation ChairmanPublication EnglishLanguage "A publication by the Chairman of the JCS, subsuming instructions and manuals.") | MilitaryProcesses.kif 1047-1048 | Chairman publication is exhaustively partitioned into chairman instruction and chairman manual |
| (externalImage ChairmanPublication "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 43/ Michael_Mullen%2C_CJCS%2C_official_photo_portrait%2C_2007.jpg") | pictureList.kif 2652-2652 | Chairman publication is exhaustively partitioned into chairman instruction and chairman manual |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PUB ChairmanPublication) (exists (?MANAGING ?H) (and (instance ?MANAGING Managing) (attribute ?H ChairmanJCS) (agent ?MANAGING ?H) (patient ?MANAGING ?PUB)))) |
MilitaryProcesses.kif 1053-1060 | If X is an instance of chairman publication, then there exist Y, Z such that Y is an instance of managing, chairmanJC s is an attribute of Z, Z is an agent of Y, and X is a patient of Y |
| (=> (instance ?PUB ChairmanPublication) (exists (?SIGNING ?H) (and (instance ?SIGNING SigningAnAgreement) (attribute ?H ChairmanJCS) (agent ?SIGNING ?H) (patient ?SIGNING ?PUB)))) |
MilitaryProcesses.kif 1065-1072 | If X is an instance of chairman publication, then there exist Y, Z such that Y is an instance of signing an agreement, chairmanJC s is an attribute of Z, Z is an agent of Y, and X is a patient of Y |
|
|
|