Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 940-949	If a kind of content bearing object is a subclass of joint publication and a content bearing physical is an instance of a kind of content bearing object and the content bearing physical contains information a formula and an agent is the author of the kind of content bearing object, then there exists an organization such that the organization is a part of the organization US military and the agent obligates the organization to perform task of the type the formula
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 921-921	Joint publication is a subclass of text
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 955-955	Above the line is a subclass of joint publication
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 973-973	Below the line is a subclass of joint publication
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1017-1017	Joint doctrine is a subclass of joint publication
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1099-1099	Joint test is a subclass of joint publication