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 12536-12537
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11838-11838
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10269-10269
No TPTP formula. May not be expressible in strict first order. Merge.kif 12535-12535 Seeing is a subclass of perception

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12566-12566 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 1660-1660

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 807-814
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6997-7011
No TPTP formula. May not be expressible in strict first order. Merge.kif 12539-12547
No TPTP formula. May not be expressible in strict first order. Merge.kif 12556-12564
No TPTP formula. May not be expressible in strict first order. Merge.kif 12549-12554
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 518-537
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5736-5745
No TPTP formula. May not be expressible in strict first order. Hotel.kif 924-937
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17588-17590
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12857-12867
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12842-12851
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 2299-2318
No TPTP formula. May not be expressible in strict first order. Merge.kif 13727-13729
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2959-2965
No TPTP formula. May not be expressible in strict first order. Cars.kif 1152-1156
No TPTP formula. May not be expressible in strict first order. Cars.kif 1158-1163
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10053-10055
No TPTP formula. May not be expressible in strict first order. Cars.kif 3536-3560
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