Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 940-949	如果有点有内用物体是联合出版物的 subclass 和内容承载物理是有点有内用物体的 instance 和那个内容承载物理 contains 公式的资料和施事体是那个有点有内用物体的 authors，然后有存在机构这样那个机构是美军 Organization 的一部分和那个施事体要求那个机构执行那个公式的任务
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 921-921	联合出版物是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 955-955	在线以上是联合出版物的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 973-973	在线下面是联合出版物的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1017-1017	联合作战准则是联合出版物的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1099-1099	联合测试是联合出版物的 subclass