Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(subclass Seeing Perception) Merge.kif 13697-13697 Seeing is a subclass of perception
(documentation Seeing EnglishLanguage "The subclass of Perception in which the sensing is done by an ocular Organ.") Merge.kif 13698-13699 Seeing is a subclass of perception
(externalImage Seeing "http://upload.wikimedia.org/wikipedia/en/1/1d/Mirvseyes.jpg") pictureList.kif 10246-10246 Seeing is a subclass of perception
(externalImage Seeing "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Slum_boy_staring_at_camera.jpg") pictureList.kif 11804-11804 Seeing is a subclass of perception

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


(subclass Looking Seeing) Merge.kif 13728-13728 Looking is a subclass of seeing
(termFormat EnglishLanguage Seeing "seeing") english_format.kif 1655-1655 Looking is a subclass of seeing

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


(=>
    (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 If All of the following hold: (1) X is an instance of seeing (2) Y is a patient of X (3) Z is an agent of X (4) Y is an instance of object (5) X exists during W (6) Y is located at V holds during W, then Y is observed at time in place Z for W with V
(=>
    (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 3010-3026 If All of the following hold: (1) X employs Y (2) X employs Z (3) W is an instance of do network messaging (4) V is a result of W (5) not safe for work is an attribute of V (6) Y is an agent of W (7) U is an instance of seeing (8) V is a patient of U (9) Z is an agent of U, then the statement there exists T such that W causes T and Y suffers from T has the modal force of likely
(=>
    (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 3028-3042 If All of the following hold: (1) X employs Y (2) Z is an instance of do network messaging (3) W is a result of Z (4) not safe for work is an attribute of W (5) V is an instance of seeing (6) W is a patient of V (7) Y is an agent of V, then the statement there exists U such that V causes U and Y suffers from U has the modal force of possibility
(=>
    (and
        (instance ?SEE Seeing)
        (agent ?SEE ?AGENT)
        (patient ?SEE ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP ColorAttribute)
            (knows ?AGENT
                (attribute ?OBJ ?PROP)))))		 Merge.kif 13701-13709 If X is an instance of seeing, Y is an agent of X, and Z is a patient of X, then there exists W such that W is an instance of color attribute and Y knows W is an attribute of Z
(=>
    (and
        (instance ?SEE Seeing)
        (patient ?SEE ?OBJ))
    (holdsDuring
        (WhenFn ?SEE)
        (attribute ?OBJ Illuminated)))		 Merge.kif 13711-13716 If X is an instance of seeing and Y is a patient of X, then illuminated is an attribute of Y holds during the time of existence of X
(=>
    (and
        (instance ?SEE Seeing)
        (patient ?SEE ?OBJ))
    (exists (?ATTR)
        (and
            (instance ?ATTR ColorAttribute)
            (holdsDuring
                (WhenFn ?SEE)
                (attribute ?OBJ ?ATTR)))))		 Merge.kif 13718-13726 If X is an instance of seeing and Y is a patient of X, then there exists Z such that Z is an instance of color attribute and Z is an attribute of Y holds during the time of existence of X
(=>
    (and
        (instance ?R RadiatingLight)
        (instance ?H Human)
        (instance ?S Seeing)
        (agent ?S ?H)
        (patient ?S ?R))
    (instance ?R RadiatingVisibleLight))		 Mid-level-ontology.kif 620-627 If X is an instance of radiating light, Y is an instance of human, Z is an instance of seeing, Y is an agent of Z, and X is a patient of Z, then X is an instance of radiating visible light
(=>
    (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 8530-8544 If All of the following hold: (1) X is an instance of auditorium seat (2) X is a part of Y (3) Z is a part of Y (4) Y is an instance of auditorium (5) Z is an instance of performance stage (6) W is located at X (7) W is an instance of human (8) V is a subclass of seeing (9) For all Process U: if U is an instance of V, then Z is a patient of U, then W is capable of doing V as a agent

consequent
-------------------------


(=>
    (and
        (attribute ?ACTOR VoiceActor)
        (instance ?DRAMA DramaticActing)
        (agent ?DRAMA ?ACTOR)
        (instance ?SPEAK LinguisticCommunication)
        (agent ?SPEAK ?ACTOR)
        (subProcess ?SPEAK ?DRAMA))
    (and
        (not
            (exists (?S ?VIEWER)
                (and
                    (instance ?S Seeing)
                    (patient ?S ?ACTOR)
                    (agent ?S ?VIEWER))))
        (exists (?H ?VIEWER)
            (and
                (instance ?H Hearing)
                (patient ?H ?ACTOR)
                (agent ?H ?VIEWER)))))		 Biography.kif 765-784 If All of the following hold: (1) voice actor is an attribute of X (2) Y is an instance of dramatic acting (3) X is an agent of Y (4) Z is an instance of linguistic communication (5) X is an agent of Z (6) Z is a subprocess of Y, then there don't exist W, V such that W is an instance of seeing, X is a patient of W, and V is an agent of W and there exist U, V such that U is an instance of hearing, X is a patient of U, and V is an agent of U
(=>
    (instance ?E Exhaust)
    (modalAttribute
        (capability Seeing patient ?E) Possibility))		 Cars.kif 1161-1165 If X is an instance of exhaust, then the statement X is capable of doing seeing as a patient has the modal force of possibility
(=>
    (instance ?E Exhaust)
    (modalAttribute
        (not
            (capability Seeing patient ?E)) Possibility))		 Cars.kif 1167-1172 If X is an instance of exhaust, then the statement X is not capable of doing seeing as a patient has the modal force of possibility
(=>
    (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 3636-3660 If X is an instance of safety vest, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of animal (3) Z is an instance of human (4) Y wears X increases likelihood of there exists W such that W is an instance of seeing (5) Y is a patient of W (6) Z experiences W (7) there exists W such that W is an instance of seeing (8) Y is a patient of W (9) Z experiences W decreases likelihood of there exists V such that V is an instance of injuring (10) Z is an agent of V (11) Y is a patient of V
(=>
    (attribute ?ROOM OpenLayout)
    (and
        (instance ?ROOM Room)
        (exists (?R1 ?R2 ?H)
            (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 AutonomousAgent)
                        (located ?H ?R2))
                    (and
                        (capability Seeing agent ?H)
                        (capability Seeing patient ?R1)))))))		 Dining.kif 956-980 If open layout is an attribute of X, then X is an instance of room and All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of region (3) Z is an instance of region (4) Y is located at X (5) Z is located at X (6) equal Y (7) Z (8) Y is adjacent to Z (9) there exist V (10) U such that V is an instance of process (11) U is an instance of process (12) Y has the purpose V (13) Z has the purpose U (14) W is an instance of agent (15) W is located at ZW is capable of doing seeing as a agent (16) Y is capable of doing seeing as a patient
(=>
    (and
        (viewType ?ROOM ?OBJ)
        (instance ?ROOM Room)
        (instance ?INST ?OBJ)
        (orientation ?INST ?ROOM Outside))
    (modalAttribute
        (exists (?HUMAN ?SEE)
            (and
                (instance ?HUMAN Human)
                (located ?HUMAN ?ROOM)
                (instance ?SEE Seeing)
                (patient ?SEE ?INST)
                (agent ?SEE ?HUMAN))) Possibility))		 Hotel.kif 962-975 If a person in X can see Y, X is an instance of room, Z is an instance of Y, and Z is outside of to X, then the statement there exist W, V such that W is an instance of human, W is located at X, V is an instance of seeing, Z is a patient of V, and W is an agent of V has the modal force of possibility
(=>
    (attribute ?X ArtsAndRecreationTicketingServices)
    (hasPurpose ?X
        (exists (?SELL ?TICKET ?CUST)
            (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 2364-2383 If arts and recreation tickets is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of selling (3) Z is a patient of Y (4) X is an agent of Y (5) Z is an instance of ticket (6) Y ends up at W (7) Z has the purpose X allows W to perform task of the type there exist V (8) U such that V is an instance of seeing (9) W is an agent of V (10) U is a patient of V (11) U is an instance of performance or U is an instance of sport
(=>
    (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 If X is observed at time in place Y for Z with W, then there exists V such that V is an instance of seeing, Y is an agent of V, the time of existence of V takes place during Z, V is located at W, and X is a patient of V
(=>
    (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)
    (playsRoleInEventOfType ?OBJ patient Seeing ?TIME ?PLACE))		 Justice.kif 71-73 If X is observed at time in place Y for Z with W, then X plays role in event of type patient for seeing with Z and W
(=>
    (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)
    (playsRoleInEventOfType ?AGENT agent Seeing ?TIME ?PLACE))		 Justice.kif 75-77 If X is observed at time in place Y for Z with W, then Y plays role in event of type agent for seeing with Z and W
(=>
    (instance ?CLOUD Cloud)
    (capability Seeing patient ?CLOUD))		 Merge.kif 14929-14931 If X is an instance of cloud, then X is capable of doing seeing as a patient
(=>
    (instance ?D OpticalDevice)
    (hasPurpose ?D
        (exists (?S)
            (and
                (instance ?S Seeing)
                (instrument ?S ?D)))))		 Mid-level-ontology.kif 2978-2984 If X is an instance of optical device, then X has the purpose there exists Y such that Y is an instance of seeing and X is an instrument for Y
(=>
    (and
        (instance ?C Concealing)
        (patient ?C ?OBJ))
    (hasPurpose ?C
        (not
            (exists (?S)
                (and
                    (instance ?S Seeing)
                    (patient ?S ?OBJ))))))		 Mid-level-ontology.kif 6445-6454 If X is an instance of concealing and Y is a patient of X, then X has the purpose there doesn't exist Z such that Z is an instance of seeing and Y is a patient of Z
(=>
    (instance ?EYE Eye)
    (capability Seeing instrument ?EYE))		 Mid-level-ontology.kif 13484-13486 If X is an instance of eye, then X is capable of doing seeing as a instrument
(=>
    (attribute ?O Transparent)
    (modalAttribute
        (exists (?S ?A ?D)
            (and
                (instance ?S Seeing)
                (agent ?S ?A)
                (destination ?S ?D)
                (between ?O ?A ?D))) Possibility))		 Mid-level-ontology.kif 16626-16635 If transparent is an attribute of X, then the statement there exist Y, Z, W such that Y is an instance of seeing, Z is an agent of Y, Y ends up at W, Z is between X, and W has the modal force of possibility
(=>
    (attribute ?O Translucent)
    (modalAttribute
        (not
            (exists (?S ?A ?D)
                (and
                    (instance ?S Seeing)
                    (agent ?S ?A)
                    (destination ?S ?D)
                    (between ?O ?A ?D)))) Likely))		 Mid-level-ontology.kif 16642-16652 If translucent is an attribute of X, then the statement there don't exist Y, Z, W such that Y is an instance of seeing, Z is an agent of Y, Y ends up at W, Z is between X, and W has the modal force of likely
(=>
    (attribute ?AGENT Blind)
    (not
        (capability Seeing agent ?AGENT)))		 Mid-level-ontology.kif 21717-21719 If blindness is an attribute of X, then X is not capable of doing seeing as a agent
(=>
    (and
        (instance ?O OpeningEye)
        (agent ?O ?H)
        (instance ?H Human)
        (not
            (attribute ?H Blind)))
    (exists (?S ?R)
        (and
            (instance ?S Seeing)
            (agent ?S ?H)
            (patient ?S ?R)
            (instance ?R RadiatingVisibleLight)
            (during
                (WhenFn ?S)
                (WhenFn ?O)))))		 Mid-level-ontology.kif 22113-22128 If X is an instance of opening eye, Y is an agent of X, Y is an instance of human, and blindness is not an attribute of Y, then there exist Z, W such that Z is an instance of seeing, Y is an agent of Z, W is a patient of Z, W is an instance of radiating visible light, and the time of existence of Z takes place during the time of existence of X
(=>
    (and
        (instance ?G Public)
        (member ?A ?G)
        (holdsDuring ?T
            (attribute ?A Embarrassment)))
    (disapproves ?A
        (exists (?P ?S)
            (and
                (instance ?P Process)
                (agent ?P ?A)
                (instance ?S Seeing)
                (patient ?S ?P)
                (agent ?S ?G)
                (meetsTemporally
                    (WhenFn ?P) ?T)))))		 emotion.kif 1424-1439 If X is an instance of public, Y is a member of X, and embarrassment is an attribute of Y holds during Z, then All of the following hold: (1) there exist W (2) V such that W is an instance of process (3) Y is an agent of W (4) V is an instance of seeing (5) W is a patient of V (6) X is an agent of V (7) the time of existence of W meets Z is a disapproves of Y


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