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 7378-7392	オブジェクトは AuditoriumSeat の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトの part では %n オブジェクトは Auditorium の instance では %n オブジェクトは PerformanceStage の instance では %n オブジェクトはオブジェクトに located して %n オブジェクトは人［人間］の instance では %n 工程は見ることの subclass では %n 工程工程は工程の instance では %n オブジェクトは工程の patient では %n オブジェクトは工程を agent として行う capable では %n
(subclass AuditoriumSeat Seat)	Mid-level-ontology.kif 7367-7367	AuditoriumSeat は Seat の subclass では %n