Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 940-949	Objeto Representendo Conteudo Abstrato e' uma sub-classe de JointPublication ContentBearingPhysical e' uma instancia de Objeto Representendo Conteudo Abstrato ContentBearingPhysical contem informacao Formula AutonomousAgent e' o autor de Objeto Representendo Conteudo Abstrato Organizacao Organizacao e' uma parte da organizacao USMilitary AutonomousAgent obriga Organizacao a executar tarefas de tipo Formula
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 921-921	JointPublication e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 955-955	AboveTheLine e' uma sub-classe de JointPublication
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 973-973	BelowTheLine e' uma sub-classe de JointPublication
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1017-1017	JointDoctrine e' uma sub-classe de JointPublication
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1099-1099	JointTest e' uma sub-classe de JointPublication