Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7351-7365	If an object is an instance of auditorium seat and the object is a part of another object and a third object is a part of the other object and the other object is an instance of auditorium and the third object is an instance of performance stage and a fourth object is located at the object and the fourth object is an instance of human and a kind of process is a subclass of seeing and for all another process if the other process is an instance of a kind of process, then the third object is a patient of the other process , then the fourth object is capable of doing the kind of process as a agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13521-13521	Seeing is a subclass of perception
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13552-13552	Looking is a subclass of seeing