Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Seeing
Seeing(seeing)
afterimage, aftersensation, anamorphism, anamorphosis, appear, ascertained, behold, beholding, blindly, browse, catch, catching, come_on, come_out, continuous_receiver_watch, dekko, descry, detection, discovered, erupt, espial, espy, evil_eye, eye-beaming, eyeful, face_recognition, fusion, gape, gawk, gawp, give_the_eye, give_the_glad_eye, give_the_once_over, glare, glimpse, glower, goggle, keep_one's_eyes_open, keep_one's_eyes_peeled, keep_one's_eyes_skinned, landfall, lay_eyes_on, listening_watch, look_away, lookout, lose, lose_sight_of, manifest, nonvisual, object_recognition...

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 12866-12867
(externalImage Seeing "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Slum_boy_staring_at_camera.jpg") pictureList.kif 11837-11837
(externalImage Seeing "http://upload.wikimedia.org/wikipedia/en/1/1d/Mirvseyes.jpg") pictureList.kif 10268-10268
(subclass Seeing Perception) Merge.kif 12865-12865 Seeing is a subclass of perception

appearance as argument number 2
-------------------------


(subclass Looking Seeing) Merge.kif 12896-12896 Looking is a subclass of seeing
(termFormat ChineseLanguage Seeing "看") chinese_format.kif 1217-1217
(termFormat EnglishLanguage Seeing "seeing") english_format.kif 1660-1660

antecedent
-------------------------


(=>
    (and
        (instance ?R RadiatingLight)
        (instance ?H Human)
        (instance ?S Seeing)
        (agent ?S ?H)
        (patient ?S ?R))
    (instance ?R RadiatingVisibleLight))
Mid-level-ontology.kif 595-602
(=>
    (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 6699-6713
(=>
    (and
        (instance ?SEE Seeing)
        (agent ?SEE ?AGENT)
        (patient ?SEE ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP ColorAttribute)
            (knows ?AGENT
                (attribute ?OBJ ?PROP)))))
Merge.kif 12869-12877
(=>
    (and
        (instance ?SEE Seeing)
        (patient ?SEE ?OBJ))
    (exists (?ATTR)
        (and
            (instance ?ATTR ColorAttribute)
            (holdsDuring
                (WhenFn ?SEE)
                (attribute ?OBJ ?ATTR)))))
Merge.kif 12886-12894
(=>
    (and
        (instance ?SEE Seeing)
        (patient ?SEE ?OBJ))
    (holdsDuring
        (WhenFn ?SEE)
        (attribute ?OBJ Illuminated)))
Merge.kif 12879-12884
(=>
    (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
-------------------------


(=>
    (and
        (attribute ?ACTOR VoiceActor)
        (instance ?DRAMA DramaticActing)
        (agent ?DRAMA ?ACTOR)
        (instance ?SPEAK LinguisticCommunication)
        (agent ?SPEAK ?ACTOR)
        (subProcess ?SPEAK ?DRAMA))
    (and
        (not
            (exists (?S)
                (and
                    (instance ?S Seeing)
                    (patient ?S ?ACTOR)
                    (agent ?S ?VIEWER))))
        (exists (?H)
            (and
                (instance ?H Hearing)
                (patient ?H ?ACTOR)
                (agent ?H ?VIEWER)))))
Biography.kif 518-537
(=>
    (and
        (instance ?C Concealing)
        (patient ?C ?OBJ))
    (hasPurpose ?C
        (not
            (exists (?S)
                (and
                    (instance ?S Seeing)
                    (patient ?S ?OBJ))))))
Mid-level-ontology.kif 5155-5164
(=>
    (and
        (viewType ?ROOM ?OBJ)
        (instance ?ROOM Room)
        (orientation ?OBJ ?ROOM Outside))
    (modalAttribute
        (exists (?HUMAN ?SEE ?INST)
            (and
                (instance ?HUMAN Human)
                (located ?HUMAN ?ROOM)
                (instance ?SEE Seeing)
                (instance ?INST ?OBJ)
                (patient ?SEE ?INST)
                (agent ?SEE ?HUMAN))) Possibility))
Hotel.kif 932-945
(=>
    (attribute ?AGENT Blind)
    (not
        (capability Seeing agent ?AGENT)))
Mid-level-ontology.kif 17910-17912
(=>
    (attribute ?O Translucent)
    (modalAttribute
        (not
            (exists (?S)
                (and
                    (instance ?S Seeing)
                    (agent ?S ?A)
                    (destination ?S ?D)
                    (between ?O ?A ?D)))) Likely))
Mid-level-ontology.kif 13471-13481
(=>
    (attribute ?O Transparent)
    (modalAttribute
        (exists (?S)
            (and
                (instance ?S Seeing)
                (agent ?S ?A)
                (destination ?S ?D)
                (between ?O ?A ?D))) Possibility))
Mid-level-ontology.kif 13455-13464
(=>
    (attribute ?ROOM OpenLayout)
    (and
        (instance ?ROOM Room)
        (exists (?R1 ?R2)
            (and
                (instance ?R1 Region)
                (instance ?R2 Region)
                (located ?R1 ?ROOM)
                (located ?R2 ?ROOM)
                (not
                    (equal ?R1 ?R2))
                (orientation ?R1 ?R2 Adjacent)
                (exists (?P1 ?P2)
                    (and
                        (instance ?P1 Process)
                        (instance ?P2 Process)
                        (hasPurpose ?R1 ?P1)
                        (hasPurpose ?R2 ?P2)))
                (=>
                    (and
                        (instance ?H Agent)
                        (located ?H ?R2))
                    (and
                        (capability Seeing agent ?H)
                        (capability Seeing patient ?R1)))))))
Dining.kif 909-933
(=>
    (attribute ?X ArtsAndRecreationTicketingServices)
    (hasPurpose ?X
        (exists (?SELL ?TICKET)
            (and
                (instance ?SELL Selling)
                (patient ?SELL ?TICKET)
                (agent ?SELL ?X)
                (instance ?TICKET Ticket)
                (destination ?SELL ?CUST)
                (hasPurpose ?TICKET
                    (confersRight
                        (exists (?WATCH ?PERF)
                            (and
                                (instance ?WATCH Seeing)
                                (agent ?WATCH ?CUST)
                                (patient ?WATCH ?PERF)
                                (or
                                    (instance ?PERF Performance)
                                    (instance ?PERF Sport)))) ?X ?CUST))))))
Hotel.kif 2313-2332
(=>
    (instance ?CLOUD Cloud)
    (capability Seeing patient ?CLOUD))
Merge.kif 14057-14059
(=>
    (instance ?D OpticalDevice)
    (hasPurpose ?D
        (exists (?S)
            (and
                (instance ?S Seeing)
                (instrument ?S ?D)))))
Mid-level-ontology.kif 2433-2439
(=>
    (instance ?E Exhaust)
    (modalAttribute
        (capability Seeing patient ?E) Possibility))
Cars.kif 1161-1165
(=>
    (instance ?E Exhaust)
    (modalAttribute
        (not
            (capability Seeing patient ?E)) Possibility))
Cars.kif 1167-1172
(=>
    (instance ?EYE Eye)
    (capability Seeing instrument ?EYE))
Mid-level-ontology.kif 10629-10631
(=>
    (instance ?SV SafetyVest)
    (hasPurpose ?SV
        (exists (?PERSON ?SPECTATOR)
            (and
                (instance ?PERSON Animal)
                (instance ?SPECTATOR Human)
                (increasesLikelihood
                    (wears ?PERSON ?SV)
                    (exists (?SEE)
                        (and
                            (instance ?SEE Seeing)
                            (patient ?SEE ?PERSON)
                            (experiencer ?SEE ?SPECTATOR))))
                (decreasesLikelihood
                    (exists (?SEE)
                        (and
                            (instance ?SEE Seeing)
                            (patient ?SEE ?PERSON)
                            (experiencer ?SEE ?SPECTATOR)))
                    (exists (?INJ)
                        (and
                            (instance ?INJ Injuring)
                            (agent ?INJ ?SPECTATOR)
                            (patient ?INJ ?PERSON))))))))
Cars.kif 3575-3599
(=>
    (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)
    (exists (?SEEING)
        (and
            (instance ?SEEING Seeing)
            (agent ?SEEING ?AGENT)
            (during
                (WhenFn ?SEEING) ?TIME)
            (located ?SEEING ?PLACE)
            (patient ?SEEING ?OBJ))))
Justice.kif 51-59
(=>
    (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)
    (playsRoleInEventOfType ?AGENT agent Seeing ?TIME ?PLACE))
Justice.kif 75-77
(=>
    (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)
    (playsRoleInEventOfType ?OBJ patient Seeing ?TIME ?PLACE))
Justice.kif 71-73


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners