Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3005-3010	O argumento numero Inteiro positivo de Relacao e' uma sub-classe de Classe Relacao e' uma instancia de Predicado Relacao @ROW Inteiro positivoth elemento de (@ROW) e' uma sub-classe de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3339-3339	Predicado e' uma sub-classe de Relacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3340-3340	Predicado e' uma sub-classe de InheritableRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3478-3478	Predicado Binario e' uma sub-classe de Predicado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3489-3489	Predicado Ternario e' uma sub-classe de Predicado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3500-3500	Predicado Quaternario e' uma sub-classe de Predicado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3511-3511	Predicado Quinquenario e' uma sub-classe de Predicado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3550-3550	LogicalOperator e' uma sub-classe de Predicado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18470-18470	ClosedWorldPredicate e' uma sub-classe de Predicado