| (=> (and (subclass ?PUB JointPublication) (instance ?ONE ?PUB) (containsInformation ?ONE ?CONTENT) (authors ?JORG ?PUB)) (exists (?ORG) (and (subOrganization ?ORG USMilitary) (confersObligation ?CONTENT ?JORG ?ORG)))) |
MilitaryProcesses.kif 940-949 | |
| (subclass JointPublication Text) | MilitaryProcesses.kif 921-921 | |
| (subclass AboveTheLine JointPublication) | MilitaryProcesses.kif 955-955 | |
| (subclass BelowTheLine JointPublication) | MilitaryProcesses.kif 973-973 | |
| (subclass JointDoctrine JointPublication) | MilitaryProcesses.kif 1017-1017 | |
| (subclass JointTest JointPublication) | MilitaryProcesses.kif 1099-1099 |
|
|