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 13413-13414 | |
(externalImage Seeing "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Slum_boy_staring_at_camera.jpg") | pictureList.kif 11820-11820 | |
(externalImage Seeing "http://upload.wikimedia.org/wikipedia/en/1/1d/Mirvseyes.jpg") | pictureList.kif 10251-10251 | |
(subclass Seeing Perception) | Merge.kif 13412-13412 | 看 是 感知 的 subclass |
appearance as argument number 2 |
![]() |
(subclass Looking Seeing) | Merge.kif 13443-13443 | 看着 是 看 的 subclass |
(termFormat ChineseLanguage Seeing "看") | chinese_format.kif 1217-1217 | |
(termFormat EnglishLanguage Seeing "seeing") | english_format.kif 1655-1655 | |
(termFormat FrenchLanguage Seeing "voir") | french_format.kif 895-895 | |
(termFormat Hindi Seeing "darshana") | terms-hindi.txt 428-428 | |
(termFormat ItalianLanguage Seeing "Vista") | terms-it.txt 429-429 | |
(termFormat JapaneseLanguage Seeing "見ること") | japanese_format.kif 2579-2579 | |
(termFormat PortugueseLanguage Seeing "Visao") | portuguese_format.kif 847-847 | |
(termFormat cb Seeing "pagtan-aw") | terms-cb.txt 433-433 | |
(termFormat cz Seeing "seeing") | terms-cz.txt 467-467 | |
(termFormat ro Seeing "vedere") | relations-ro.kif 916-916 | |
(termFormat tg Seeing "nagkikita") | terms-tg.txt 432-432 |
antecedent |
![]() |
(=> (and (instance ?R RadiatingLight) (instance ?H Human) (instance ?S Seeing) (agent ?S ?H) (patient ?S ?R)) (instance ?R RadiatingVisibleLight)) |
Mid-level-ontology.kif 624-631 | |
(=> (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 7318-7332 | |
(=> (and (instance ?SEE Seeing) (agent ?SEE ?AGENT) (patient ?SEE ?OBJ)) (exists (?PROP) (and (instance ?PROP ColorAttribute) (knows ?AGENT (attribute ?OBJ ?PROP))))) |
Merge.kif 13416-13424 | |
(=> (and (instance ?SEE Seeing) (patient ?SEE ?OBJ)) (exists (?ATTR) (and (instance ?ATTR ColorAttribute) (holdsDuring (WhenFn ?SEE) (attribute ?OBJ ?ATTR))))) |
Merge.kif 13433-13441 | |
(=> (and (instance ?SEE Seeing) (patient ?SEE ?OBJ)) (holdsDuring (WhenFn ?SEE) (attribute ?OBJ Illuminated))) |
Merge.kif 13426-13431 | |
(=> (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 |
![]() |
![]() |
![]() |