Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   JointPublication
|
|
|
| appearance as argument number 1 |
|
|
| (subclass JointPublication Text) | MilitaryProcesses.kif 943-943 | 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 944-947 | 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 952-959 | 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) (containsFormula ?ONE ?CONTENT) (authors ?JORG ?PUB)) (exists (?ORG) (and (subOrganization ?ORG USMilitary) (confersObligation ?ORG ?JORG ?CONTENT)))) |
MilitaryProcesses.kif 962-971 | If X is a subclass of joint publication, Y is an instance of X, Y contains the formula Z, and W is the author of X, then there exists V such that V is a part of the organization US military and W obligates Z to perform task of the type V |
|
