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 Auditorium Building)	Mid-level-ontology.kif 7320-7320	Auditorium ist eine teilkategorie von Building
(subclass Cinema Auditorium)	Mid-level-ontology.kif 22502-22502	Cinema ist eine teilkategorie von Auditorium