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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Seeing

Sigma KEE - Seeing
Seeing
Visao, Vista, afterimage, aftersensation, anamorphism, anamorphosis, appear, ascertained, behold, beholding, blindly, browse, catch, catching, come_on, come_out, continuous_receiver_watch, darshana, 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...

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


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

Merge.kif 13417-13418
s__documentation(s__Seeing,s__EnglishLanguage,'The subclass of Perception in which the sensing is done by an ocular Organ.')

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

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

pictureList.kif 10269-10269
s__subclass(s__Seeing,s__Perception)

Merge.kif 13414-13414

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


s__subclass(s__Looking,s__Seeing)

Merge.kif 13447-13447
s__termFormat(s__ChineseLanguage,s__Seeing,'看')

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

english_format.kif 904-904
s__termFormat(s__FrenchLanguage,s__Seeing,'voir')

french_format.kif 895-895
s__termFormat(s__Hindi,s__Seeing,'darshana')

terms-hindi.txt 428-428
s__termFormat(s__ItalianLanguage,s__Seeing,'Vista')

terms-it.txt 429-429
s__termFormat(s__PortugueseLanguage,s__Seeing,'Visao')

portuguese_format.kif 847-847
s__termFormat(s__cb__m,s__Seeing,'pagtan-aw')

terms-cb.txt 433-433
s__termFormat(s__cz__m,s__Seeing,'seeing')

terms-cz.txt 467-467
s__termFormat(s__tg__m,s__Seeing,'nagkikita')

terms-tg.txt 432-432

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


( ∀ [V__R,V__H,V__S]
   ((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 808-815
( ∀ [V__SEAT,V__AUDITORIUM,V__STAGE,V__PERSON,V__SEE]
   ((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,V__SEE)
   ⇒
   s__patient(V__INST,V__STAGE))))

s__capability(V__SEE,s__agent__m,V__PERSON))
)

Mid-level-ontology.kif 7016-7030
No TPTP formula. May not be expressible in strict first order. Merge.kif 13420-13428
No TPTP formula. May not be expressible in strict first order. Merge.kif 13437-13445
No TPTP formula. May not be expressible in strict first order. Merge.kif 13430-13435
No TPTP formula. May not be expressible in strict first order. Justice.kif 59-67

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


( ∀ [V__ACTOR,V__DRAMA,V__SPEAK,V__VIEWER]
   ((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 518-537
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5730-5739
No TPTP formula. May not be expressible in strict first order. Hotel.kif 920-933
( ∀ [V__AGENT]
   (s__attribute(V__AGENT,s__Blind) ⇒
     (¬ s__capability(s__Seeing,s__agent__m,V__AGENT)))
)

Mid-level-ontology.kif 17498-17500
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12830-12840
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12815-12824
No TPTP formula. May not be expressible in strict first order. Dining.kif 913-937
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2294-2313
( ∀ [V__CLOUD]
   (s__instance(V__CLOUD,s__Cloud) ⇒
     s__capability(s__Seeing,s__patient__m,V__CLOUD))
)

Merge.kif 14819-14821
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2958-2964
No TPTP formula. May not be expressible in strict first order. Cars.kif 1151-1155
No TPTP formula. May not be expressible in strict first order. Cars.kif 1157-1162
( ∀ [V__EYE]
   (s__instance(V__EYE,s__Eye) ⇒
     s__capability(s__Seeing,s__instrument__m,V__EYE))
)

Mid-level-ontology.kif 10054-10056
No TPTP formula. May not be expressible in strict first order. Cars.kif 3528-3552
( ∀ [V__OBJ,V__AGENT,V__TIME,V__PLACE]
   (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__patient(V__SEEING,V__OBJ))))
)

Justice.kif 51-57
( ∀ [V__OBJ,V__AGENT,V__TIME,V__PLACE]
   (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 73-75
( ∀ [V__OBJ,V__AGENT,V__TIME,V__PLACE]
   (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 69-71


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