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 7350-7364	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 AuditoriumSeat Seat)	Mid-level-ontology.kif 7339-7339	AuditoriumSeat ist eine teilkategorie von Seat