Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2692-2701	If a kind of process is a subclass of process and another process is an instance of a kind of process and the other process is located at a region and a case role is an instance of case role and an object is an instance of object and the region is an instance of geographic area and the case role the other process and the object, then the kind of process capable at location the case role for the object with the region
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3910-3916	If a case role is an instance of case role and the case role an entity and an object and the entity is an instance of a kind of process and a kind of process is a subclass of process, then the object is capable of doing the kind of process as a the case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2400-2400	Case role is a subclass of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2401-2401	Case role is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2402-2402	Case role is a subclass of asymmetric relation