Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 940-949	子類 ContentBearingObject and 聯合出版物例內容承載物理 and ContentBearingObject 包含信息內容承載物理 and Formula 作者 AutonomousAgent and ContentBearingObject Organization 子組織 Organization and 美軍授予義務 Formula, AutonomousAgent and Organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 921-921	子類聯合出版物 and Text
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 955-955	子類在線以上 and 聯合出版物
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 973-973	子類在線下面 and 聯合出版物
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1017-1017	子類聯合作戰準則 and 聯合出版物
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1099-1099	子類聯合測試 and 聯合出版物