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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3310-3311
No TPTP formula. May not be expressible in strict first order. Merge.kif 13295-13296
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11827-11827
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10258-10258
No TPTP formula. May not be expressible in strict first order. Merge.kif 13294-13294 Seeing is a subclass of perception

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13325-13325 Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1217-1217
No TPTP formula. May not be expressible in strict first order. english_format.kif 1655-1655

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 619-626
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7049-7063
No TPTP formula. May not be expressible in strict first order. Merge.kif 13298-13306
No TPTP formula. May not be expressible in strict first order. Merge.kif 13315-13323
No TPTP formula. May not be expressible in strict first order. Merge.kif 13308-13313
No TPTP formula. May not be expressible in strict first order. Justice.kif 61-69

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 527-546
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5204-5213
No TPTP formula. May not be expressible in strict first order. Hotel.kif 954-967
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19209-19211
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14659-14669
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14643-14652
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 2353-2372
No TPTP formula. May not be expressible in strict first order. Merge.kif 14506-14508
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2460-2466
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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11645-11647
No TPTP formula. May not be expressible in strict first order. Cars.kif 3562-3586
No TPTP formula. May not be expressible in strict first order. Justice.kif 51-59
No TPTP formula. May not be expressible in strict first order. Justice.kif 75-77
No TPTP formula. May not be expressible in strict first order. 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