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 13703-13703 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 13704-13705 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 13734-13734 Looking is a subclass of seeing
(termFormat EnglishLanguage Seeing "seeing") english_format.kif 1655-1655 Looking is a subclass of seeing

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


(=>
    (and
        (instance ?SEE Seeing)
        (agent ?SEE ?AGENT)
        (patient ?SEE ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP ColorAttribute)
            (knows ?AGENT
                (attribute ?OBJ ?PROP)))))		 Merge.kif 13707-13715 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 13717-13722 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 13724-13732 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 607-614 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 ?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

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


(=>
    (instance ?CLOUD Cloud)
    (capability Seeing patient ?CLOUD))		 Merge.kif 14933-14935 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 2965-2971 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 6455-6464 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
(=>
    (and
        (instance ?SEAT AuditoriumSeat)
        (part ?SEAT ?AUDITORIUM)
        (part ?STAGE ?AUDITORIUM)
        (instance ?AUDITORIUM Auditorium)
        (instance ?STAGE PerformanceStage)
        (located ?PERSON ?SEAT)
        (instance ?PERSON Human))
    (capability
        (KappaFn ?SEEING
            (and
                (instance ?SEEING Seeing)
                (patient ?SEEING ?STAGE))) agent ?PERSON))		 Mid-level-ontology.kif 8540-8553 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, then W is capable of doing the class described by V as a agent
(=>
    (instance ?EYE Eye)
    (capability Seeing instrument ?EYE))		 Mid-level-ontology.kif 13541-13543 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 16677-16686 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 16693-16703 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 21736-21738 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 22132-22147 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
        (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 776-795 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 1163-1167 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 1169-1174 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 3647-3671 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 959-983 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 ?X ?CUST
                        (exists (?WATCH ?PERF)
                            (and
                                (instance ?WATCH Seeing)
                                (agent ?WATCH ?CUST)
                                (patient ?WATCH ?PERF)
                                (or
                                    (instance ?PERF Performance)
                                    (instance ?PERF Sport))))))))))		 Hotel.kif 2370-2389 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 W allows 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 to perform task of the type X
(=>
    (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
(=>
    (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 1429-1444 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.0-c58f641d (2026-04-12) is open source software produced by Articulate Software and its partners