Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3005-3010	Le nombre nombre entier positif argument de relation est une sous-classe de classe relation est une instance de predicat relation @ROW nombre entier positifth sous-classe de classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3339-3339	Predicat est une sous-classe de relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3340-3340	Predicat est une sous-classe de InheritableRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3478-3478	Pr�dicat binaire est une sous-classe de predicat
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3489-3489	Pr�dicat ternaire est une sous-classe de predicat
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3500-3500	Pr�dicat quaternaire est une sous-classe de predicat
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3511-3511	Predicate quinternaire est une sous-classe de predicat
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3550-3550	LogicalOperator est une sous-classe de predicat
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18492-18492	ClosedWorldPredicate est une sous-classe de predicat