Sigma KB Term Intersection

(=> (and (instance ?SEAT AuditoriumSeat) (part ?SEAT ?AUDITORIUM) (part ?STAGE ?AUDITORIUM) (instance ?AUDITORIUM Auditorium) (instance ?STAGE PerformanceStage) (located ?PERSON ?SEAT) (instance ?PERSON Human) (subclass ?SEE Seeing) (forall (?INST) (=> (instance ?INST ?SEE) (patient ?INST ?STAGE)))) (capability ?SEE agent ?PERSON))	Mid-level-ontology.kif 7351-7365	Wenn Object ist ein fall von AuditoriumSeat %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von Auditorium %n{nicht} und Object ist ein fall von PerformanceStage %n{nicht} und Object befindet sich an %n{nicht} und Object ist ein fall von Human %n{nicht} und Process ist eine teilkategorie von Seeing und fuer alle Process wenn Process ist ein fall von Process %n{nicht}, dann Object ist ein patient von Process %n{nicht} , dann Object ist faehig %n{nicht}, in der Rolle agent ** Process zu tun
(subclass Seeing Perception)	Merge.kif 13521-13521	Seeing ist eine teilkategorie von Perception
(subclass Looking Seeing)	Merge.kif 13552-13552	Looking ist eine teilkategorie von Seeing