Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 940-949	Objet exprimant un sens est une sous-classe de JointPublication ContentBearingPhysical est une instance de objet exprimant un sens ContentBearingPhysical contient information formule AutonomousAgent est l' auteur de objet exprimant un sens organisation organisation est une partie de l'organization USMilitary AutonomousAgent oblige organisation � ex�cut� des t�ches du type formule
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 921-921	JointPublication est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 955-955	AboveTheLine est une sous-classe de JointPublication
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 973-973	BelowTheLine est une sous-classe de JointPublication
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1017-1017	JointDoctrine est une sous-classe de JointPublication
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1099-1099	JointTest est une sous-classe de JointPublication