(=> (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 | |
(subclass Seeing Perception) | Merge.kif 13567-13567 | 子類 Seeing and Perception |
(subclass Looking Seeing) | Merge.kif 13598-13598 | 子類 看著 and Seeing |