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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Seeing
Seeing

appearance as argument number 1
-------------------------


(documentation Seeing ChineseLanguage "这个 subclass 是属于由视觉 Organ 作出感觉的 Perception。") Merge.kif 13475-13476
(documentation Seeing EnglishLanguage "The subclass of Perception in which the sensing is done by an ocular Organ.") Merge.kif 13473-13474
(externalImage Seeing "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Slum_boy_staring_at_camera.jpg") pictureList.kif 11838-11838
(externalImage Seeing "http://upload.wikimedia.org/wikipedia/en/1/1d/Mirvseyes.jpg") pictureList.kif 10269-10269
(subclass Seeing Perception) Merge.kif 13472-13472

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


(subclass Looking Seeing) Merge.kif 13505-13505
(termFormat ChineseLanguage Seeing "看") chinese_format.kif 1217-1217
(termFormat EnglishLanguage Seeing "seeing") english_format.kif 1732-1732
(termFormat JapaneseLanguage Seeing "見ること") english_format.kif 1733-1733

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


(=>
    (and
        (instance ?R RadiatingLight)
        (instance ?H Human)
        (instance ?S Seeing)
        (agent ?S ?H)
        (patient ?S ?R))
    (instance ?R RadiatingVisibleLight))
Mid-level-ontology.kif 808-815
(=>
    (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 7016-7030
(=>
    (and
        (instance ?SEE Seeing)
        (agent ?SEE ?AGENT)
        (patient ?SEE ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP ColorAttribute)
            (knows ?AGENT
                (attribute ?OBJ ?PROP)))))
Merge.kif 13478-13486
(=>
    (and
        (instance ?SEE Seeing)
        (patient ?SEE ?OBJ))
    (exists (?ATTR)
        (and
            (instance ?ATTR ColorAttribute)
            (holdsDuring
                (WhenFn ?SEE)
                (attribute ?OBJ ?ATTR)))))
Merge.kif 13495-13503
(=>
    (and
        (instance ?SEE Seeing)
        (patient ?SEE ?OBJ))
    (holdsDuring
        (WhenFn ?SEE)
        (attribute ?OBJ Illuminated)))
Merge.kif 13488-13493
(=>
    (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 59-67

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 5730-5739
(=>
    (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 920-933
(=>
    (attribute ?AGENT Blind)
    (not
        (capability Seeing agent ?AGENT)))
Mid-level-ontology.kif 17556-17558
(=>
    (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 12830-12840
(=>
    (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 12815-12824
(=>
    (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 913-937
(=>
    (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 2294-2313
(=>
    (instance ?CLOUD Cloud)
    (capability Seeing patient ?CLOUD))
Merge.kif 14877-14879
(=>
    (instance ?D OpticalDevice)
    (hasPurpose ?D
        (exists (?S)
            (and
                (instance ?S Seeing)
                (instrument ?S ?D)))))
Mid-level-ontology.kif 2958-2964
(=>
    (instance ?E Exhaust)
    (modalAttribute
        (capability Seeing patient ?E) Possibility))
Cars.kif 1151-1155
(=>
    (instance ?E Exhaust)
    (modalAttribute
        (not
            (capability Seeing patient ?E)) Possibility))
Cars.kif 1157-1162
(=>
    (instance ?EYE Eye)
    (capability Seeing instrument ?EYE))
Mid-level-ontology.kif 10054-10056
(=>
    (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 3528-3552
(=>
    (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)
    (exists (?SEEING)
        (and
            (instance ?SEEING Seeing)
            (agent ?SEEING ?AGENT)
            (patient ?SEEING ?OBJ))))
Justice.kif 51-57
(=>
    (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)
    (playsRoleInEventOfType ?AGENT agent Seeing ?TIME ?PLACE))
Justice.kif 73-75
(=>
    (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)
    (playsRoleInEventOfType ?OBJ patient Seeing ?TIME ?PLACE))
Justice.kif 69-71


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners