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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Seeing

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
-------------------------


s__documentation(s__Seeing,s__ChineseLanguage,'"这个 subclass 是属于由视觉 Organ 作出感觉的 Perception。"')

chinese_format.kif 3310-3311
s__documentation(s__Seeing,s__EnglishLanguage,'"The subclass of Perception in which the sensing is done by an ocular Organ."')

Merge.kif 12911-12912
s__externalImage(s__Seeing,'"http://upload.wikimedia.org/wikipedia/commons/7/7e/ Slum_boy_staring_at_camera.jpg"')

pictureList.kif 11827-11827
s__externalImage(s__Seeing,'"http://upload.wikimedia.org/wikipedia/en/1/1d/Mirvseyes.jpg"')

pictureList.kif 10258-10258
s__instance(s__Perception,s__Class)

s__subclass(s__Seeing,s__Perception)

s__instance(s__Seeing,s__Class)

Merge.kif 12910-12910 Seeing is a subclass of perception

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


s__subclass(s__Looking,s__Seeing)

s__instance(s__Looking,s__Class)

s__instance(s__Seeing,s__Class)

Merge.kif 12941-12941 Looking is a subclass of seeing
s__termFormat(s__ChineseLanguage,s__Seeing,'"看"')

chinese_format.kif 1217-1217
s__termFormat(s__EnglishLanguage,s__Seeing,'"seeing"')

english_format.kif 1655-1655

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


( ! [V__R,V__S,V__H] :
   (((s__instance(V__R,s__RadiatingLight) &
         s__instance(V__H,s__Human) &
         s__instance(V__S,s__Seeing) &
         s__agent(V__S,V__H)
       &
       s__patient(V__S,V__R))
   =>
   (s__instance(V__R,s__RadiatingVisibleLight)))
)
)

Mid-level-ontology.kif 595-602
( ! [V__STAGE,V__AUDITORIUM,V__SEE,V__SEAT,V__PERSON] :
   (((s__instance(V__SEE,s__Class) &
         s__subclass(V__SEE,s__Process))
       =>
       (((s__instance(V__SEAT,s__AuditoriumSeat) &
             s__part(V__SEAT,V__AUDITORIUM)
           &
           s__part(V__STAGE,V__AUDITORIUM)
         &
         s__instance(V__AUDITORIUM,s__Auditorium) &
         s__instance(V__STAGE,s__PerformanceStage) &
         s__located(V__PERSON,V__SEAT)
       &
       s__instance(V__PERSON,s__Human) &
       s__subclass(V__SEE,s__Seeing) &
       ( ! [V__INST] :
         ((s__instance(V__INST,s__Process) =>
             ((s__instance(V__INST,V__SEE)
               =>
               (s__patient(V__INST,V__STAGE))))))))
=>
(s__capability(V__SEE,s__agent__m,V__PERSON)))))
)
)

Mid-level-ontology.kif 6987-7001
No TPTP formula. May not be expressible in strict first order. Merge.kif 12914-12922
No TPTP formula. May not be expressible in strict first order. Merge.kif 12931-12939
No TPTP formula. May not be expressible in strict first order. Merge.kif 12924-12929
No TPTP formula. May not be expressible in strict first order. Justice.kif 61-69

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


( ! [V__ACTOR,V__SPEAK,V__DRAMA,V__VIEWER] :
   (((s__instance(V__ACTOR,s__Agent) &
         s__instance(V__VIEWER,s__Agent))
       =>
       (((s__attribute(V__ACTOR,s__VoiceActor) &
             s__instance(V__DRAMA,s__DramaticActing) &
             s__agent(V__DRAMA,V__ACTOR)
           &
           s__instance(V__SPEAK,s__LinguisticCommunication) &
           s__agent(V__SPEAK,V__ACTOR)
         &
         s__subProcess(V__SPEAK,V__DRAMA))
     =>
     ((~(( ? [V__S] :
             ((s__instance(V__S,s__Seeing) &
                 s__patient(V__S,V__ACTOR)
               &
               s__agent(V__S,V__VIEWER)))))
     &
     ( ? [V__H] :
       ((s__instance(V__H,s__Hearing) &
           s__patient(V__H,V__ACTOR)
         &
         s__agent(V__H,V__VIEWER)))))))))
)
)

Biography.kif 524-543
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5158-5167
No TPTP formula. May not be expressible in strict first order. Hotel.kif 932-945
( ! [V__AGENT] :
   ((s__instance(V__AGENT,s__Object) =>
       ((s__attribute(V__AGENT,s__Blind) =>
           (~(s__capability(s__Seeing,s__agent__m,V__AGENT))))))
   )
)

Mid-level-ontology.kif 18979-18981
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14439-14449
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14423-14432
No TPTP formula. May not be expressible in strict first order. Dining.kif 909-933
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2326-2345
( ! [V__CLOUD] :
   ((s__instance(V__CLOUD,s__Cloud) =>
       (s__capability(s__Seeing,s__patient__m,V__CLOUD)))
   )
)

Merge.kif 14111-14113
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2435-2441
No TPTP formula. May not be expressible in strict first order. Cars.kif 1161-1165
No TPTP formula. May not be expressible in strict first order. Cars.kif 1167-1172
( ! [V__EYE] :
   ((s__instance(V__EYE,s__Eye) =>
       (s__capability(s__Seeing,s__instrument__m,V__EYE)))
   )
)

Mid-level-ontology.kif 11460-11462
No TPTP formula. May not be expressible in strict first order. Cars.kif 3562-3586
( ! [V__AGENT,V__TIME,V__PLACE,V__OBJ] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__TIME,s__TimeInterval) &
         s__instance(V__PLACE,s__Object) &
         s__instance(V__OBJ,s__Object))
       =>
       ((s__observedAtTimeInPlace(V__OBJ,V__AGENT,V__TIME,V__PLACE)
         =>
         (( ? [V__SEEING] :
             ((s__instance(V__SEEING,s__Seeing) &
                 s__agent(V__SEEING,V__AGENT)
               &
               s__during(s__WhenFn(V__SEEING)
            ,V__TIME)
           &
           s__located(V__SEEING,V__PLACE)
         &
         s__patient(V__SEEING,V__OBJ))))))))
)
)

Justice.kif 51-59
( ! [V__AGENT,V__TIME,V__PLACE,V__OBJ] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__TIME,s__TimePosition) &
         s__instance(V__PLACE,s__Object) &
         s__instance(V__OBJ,s__Object))
       =>
       ((s__observedAtTimeInPlace(V__OBJ,V__AGENT,V__TIME,V__PLACE)
         =>
         (s__playsRoleInEventOfType(V__AGENT,s__agent__m,s__Seeing,V__TIME,V__PLACE)))))
)
)

Justice.kif 75-77
( ! [V__AGENT,V__TIME,V__PLACE,V__OBJ] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__TIME,s__TimePosition) &
         s__instance(V__PLACE,s__Object) &
         s__instance(V__OBJ,s__Object))
       =>
       ((s__observedAtTimeInPlace(V__OBJ,V__AGENT,V__TIME,V__PLACE)
         =>
         (s__playsRoleInEventOfType(V__OBJ,s__patient__m,s__Seeing,V__TIME,V__PLACE)))))
)
)

Justice.kif 71-73


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

Show without tree


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