| JointPublication(joint publication)
|
| appearance as argument number 1 |
|
| (subclass JointPublication Text) | MilitaryProcesses.kif 940-940 | Joint publication is a subclass of text |
| (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 941-944 | Joint publication is a subclass of text |
| (externalImage JointPublication "http://upload.wikimedia.org/wikipedia/commons/ d/ d4/ Joint_Chiefs_of_Staff_seal.svg") | pictureList.kif 2693-2693 | Joint publication is a subclass of text |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PUB JointPublication) (exists (?MANAGING ?H) (and (instance ?MANAGING Managing) (attribute ?H ChairmanJCS) (agent ?MANAGING ?H) (patient ?MANAGING ?PUB)))) |
MilitaryProcesses.kif 949-956 | If X is an instance of joint 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 |
| (=> (and (subclass ?PUB JointPublication) (instance ?ONE ?PUB) (containsInformation ?ONE ?CONTENT) (authors ?JORG ?PUB)) (exists (?ORG) (and (subOrganization ?ORG USMilitary) (confersObligation ?CONTENT ?ORG ?JORG)))) |
MilitaryProcesses.kif 959-968 | If X is a subclass of joint publication, Y is an instance of X, Y contains information Z, and W is the author of X, then there exists V such that V is a part of the organization US military and V obligates W to perform task of the type Z |
|
|
|