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 13522-13523
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11811-11811
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10248-10248
No TPTP formula. May not be expressible in strict first order. Merge.kif 13521-13521 Seeing is a subclass of perception

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13552-13552 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 895-895
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 428-428
No TPTP formula. May not be expressible in strict first order. terms-it.txt 431-431
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2579-2579
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 847-847
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 433-433
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 467-467
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 916-916
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 432-432

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3040-3054
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3022-3038
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 624-631
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7351-7365
No TPTP formula. May not be expressible in strict first order. Merge.kif 13525-13533
No TPTP formula. May not be expressible in strict first order. Merge.kif 13542-13550
No TPTP formula. May not be expressible in strict first order. Merge.kif 13535-13540
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 757-776
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5489-5498
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 19774-19776
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15140-15150
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15124-15133
No TPTP formula. May not be expressible in strict first order. Dining.kif 956-980
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 14754-14756
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2497-2503
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 12110-12112
No TPTP formula. May not be expressible in strict first order. Cars.kif 3558-3582
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