Sigma KB Term Intersection

(=> (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	Wenn ContentBearingObject ist eine teilkategorie von JointPublication und ContentBearingPhysical ist ein fall von ContentBearingObject %n{nicht} und ContentBearingPhysical enthaelt Informationen ueber Formula und AutonomousAgent ist der schreiber von ContentBearingObject, dann es gibt Organization um subOrganization Organization and USMilitary und AutonomousAgent zwingt Organization, die Aufgabe der Art von ** Formula durchzuf�hren %n{nicht}
(subclass JointPublication Text)	MilitaryProcesses.kif 921-921	JointPublication ist eine teilkategorie von Text
(subclass AboveTheLine JointPublication)	MilitaryProcesses.kif 955-955	AboveTheLine ist eine teilkategorie von JointPublication
(subclass BelowTheLine JointPublication)	MilitaryProcesses.kif 973-973	BelowTheLine ist eine teilkategorie von JointPublication
(subclass JointDoctrine JointPublication)	MilitaryProcesses.kif 1017-1017	JointDoctrine ist eine teilkategorie von JointPublication
(subclass JointTest JointPublication)	MilitaryProcesses.kif 1099-1099	JointTest ist eine teilkategorie von JointPublication