Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31387-31394	applicableRelation Objeto and Relacao Objeto e' uma instancia de ObjetoC o argumento numero 1 de Relacao e' uma instancia de Classe ObjetoC e' igual a Classe ObjetoC e' uma sub-classe de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 221-227	O argumento numero Inteiro positivo de Relacao e' uma instancia de Classe o argumento numero Inteiro positivo de Relacao e' uma instancia de Classe Classe e' uma sub-classe de Classe Classe e' uma sub-classe de Classe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16905-16909	Relacao e' uma instancia de EconomicRelation o argumento numero 1 de Relacao e' uma instancia de Classe Classe e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 131-131	O argumento numero 1 de subclass e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 132-132	O argumento numero 2 de subclass e' uma instancia de Classe