Seeing(看)![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Seeing ChineseLanguage "这个 subclass 是属于由视觉 Organ 作出感觉的 Perception。") | chinese_format.kif 3310-3311 | |
(documentation Seeing EnglishLanguage "The subclass of Perception in which the sensing is done by an ocular Organ.") | Merge.kif 13276-13277 | |
(externalImage Seeing "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Slum_boy_staring_at_camera.jpg") | pictureList.kif 11827-11827 | |
(externalImage Seeing "http://upload.wikimedia.org/wikipedia/en/1/1d/Mirvseyes.jpg") | pictureList.kif 10258-10258 | |
(subclass Seeing Perception) | Merge.kif 13275-13275 | 看 是 感知 的 subclass |
appearance as argument number 2 |
![]() |
(subclass Looking Seeing) | Merge.kif 13306-13306 | 看着 是 看 的 subclass |
(termFormat ChineseLanguage Seeing "看") | chinese_format.kif 1217-1217 | |
(termFormat EnglishLanguage Seeing "seeing") | english_format.kif 1655-1655 |
antecedent |
![]() |
(=> (and (instance ?R RadiatingLight) (instance ?H Human) (instance ?S Seeing) (agent ?S ?H) (patient ?S ?R)) (instance ?R RadiatingVisibleLight)) |
Mid-level-ontology.kif 613-620 | |
(=> (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 7011-7025 | |
(=> (and (instance ?SEE Seeing) (agent ?SEE ?AGENT) (patient ?SEE ?OBJ)) (exists (?PROP) (and (instance ?PROP ColorAttribute) (knows ?AGENT (attribute ?OBJ ?PROP))))) |
Merge.kif 13279-13287 | |
(=> (and (instance ?SEE Seeing) (patient ?SEE ?OBJ)) (exists (?ATTR) (and (instance ?ATTR ColorAttribute) (holdsDuring (WhenFn ?SEE) (attribute ?OBJ ?ATTR))))) |
Merge.kif 13296-13304 | |
(=> (and (instance ?SEE Seeing) (patient ?SEE ?OBJ)) (holdsDuring (WhenFn ?SEE) (attribute ?OBJ Illuminated))) |
Merge.kif 13289-13294 | |
(=> (and (instance ?SEEING Seeing) (patient ?SEEING ?OBJ) (agent ?SEEING ?AGENT) (instance ?OBJ Object) (time ?SEEING ?TIME) (holdsDuring ?TIME (located ?OBJ ?PLACE))) (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)) |
Justice.kif 61-69 |
consequent |
![]() |
![]() |
![]() |