Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31387-31394	applicableRelation objet and relation objet est une instance de objetC le nombre 1 argument de relation est une instance de classe objetC est classe objetC est une sous-classe de classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 221-227	Le nombre nombre entier positif argument de relation est une instance de classe le nombre nombre entier positif argument de relation est une instance de classe classe est une sous-classe de classe classe est une sous-classe de classe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16905-16909	Relation est une instance de EconomicRelation le nombre 1 argument de relation est une instance de classe classe est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 131-131	Le nombre 1 argument de subclass est une instance de classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 132-132	Le nombre 2 argument de subclass est une instance de classe