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 13661-13662 | |
(externalImage Seeing "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Slum_boy_staring_at_camera.jpg") | pictureList.kif 11804-11804 | |
(externalImage Seeing "http://upload.wikimedia.org/wikipedia/en/1/1d/Mirvseyes.jpg") | pictureList.kif 10246-10246 | |
(subclass Seeing Perception) | Merge.kif 13660-13660 | 見ること は 知覚 の subclass では |
appearance as argument number 2 |
![]() |
(subclass Looking Seeing) | Merge.kif 13691-13691 | Looking は 見ること の subclass では |
(termFormat ChineseLanguage Seeing "看") | chinese_format.kif 1217-1217 | Looking は 見ること の subclass では |
(termFormat EnglishLanguage Seeing "seeing") | english_format.kif 1655-1655 | Looking は 見ること の subclass では |
(termFormat FrenchLanguage Seeing "voir") | french_format.kif 895-895 | Looking は 見ること の subclass では |
(termFormat Hindi Seeing "darshana") | terms-hindi.txt 428-428 | Looking は 見ること の subclass では |
(termFormat ItalianLanguage Seeing "Vista") | terms-it.txt 431-431 | Looking は 見ること の subclass では |
(termFormat JapaneseLanguage Seeing "見ること") | japanese_format.kif 2579-2579 | Looking は 見ること の subclass では |
(termFormat PortugueseLanguage Seeing "Visao") | portuguese_format.kif 847-847 | Looking は 見ること の subclass では |
(termFormat cb Seeing "pagtan-aw") | terms-cb.txt 433-433 | Looking は 見ること の subclass では |
(termFormat cz Seeing "seeing") | terms-cz.txt 467-467 | Looking は 見ること の subclass では |
(termFormat de Seeing "Sehen") | terms-de.txt 726-726 | Looking は 見ること の subclass では |
(termFormat ro Seeing "vedere") | relations-ro.kif 916-916 | Looking は 見ること の subclass では |
(termFormat tg Seeing "nagkikita") | terms-tg.txt 432-432 | Looking は 見ること の subclass では |
antecedent |
![]() |
(=> (and (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?S ?PROC) (suffers ?PROC ?CO))) Possibility)) |
Medicine.kif 3041-3055 |
|
(=> (and (employs ?ORG ?P) (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (agent ?D ?P) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?D ?PROC) (suffers ?PROC ?P))) Likely)) |
Medicine.kif 3023-3039 |
|
(=> (and (instance ?R RadiatingLight) (instance ?H Human) (instance ?S Seeing) (agent ?S ?H) (patient ?S ?R)) (instance ?R RadiatingVisibleLight)) |
Mid-level-ontology.kif 617-624 | |
(=> (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 8512-8526 | |
(=> (and (instance ?SEE Seeing) (agent ?SEE ?AGENT) (patient ?SEE ?OBJ)) (exists (?PROP) (and (instance ?PROP ColorAttribute) (knows ?AGENT (attribute ?OBJ ?PROP))))) |
Merge.kif 13664-13672 | |
(=> (and (instance ?SEE Seeing) (patient ?SEE ?OBJ)) (exists (?ATTR) (and (instance ?ATTR ColorAttribute) (holdsDuring (WhenFn ?SEE) (attribute ?OBJ ?ATTR))))) |
Merge.kif 13681-13689 | |
(=> (and (instance ?SEE Seeing) (patient ?SEE ?OBJ)) (holdsDuring (WhenFn ?SEE) (attribute ?OBJ Illuminated))) |
Merge.kif 13674-13679 | |
(=> (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 |
![]() |
![]() |
![]() |