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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 13676-13677
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11804-11804
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10246-10246
No TPTP formula. May not be expressible in strict first order. Merge.kif 13675-13675 Seeing is a subclass of perception

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13706-13706 Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1217-1217 Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order. english_format.kif 1655-1655 Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order. french_format.kif 895-895 Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 428-428 Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order. terms-it.txt 431-431 Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2579-2579 Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 847-847 Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 433-433 Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 467-467 Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order. terms-de.txt 726-726 Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 916-916 Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 432-432 Looking is a subclass of seeing

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3041-3055
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3023-3039
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 617-624
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8512-8526
No TPTP formula. May not be expressible in strict first order. Merge.kif 13679-13687
No TPTP formula. May not be expressible in strict first order. Merge.kif 13696-13704
No TPTP formula. May not be expressible in strict first order. Merge.kif 13689-13694
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 765-784
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6426-6435
No TPTP formula. May not be expressible in strict first order. Hotel.kif 962-975
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21345-21347
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16513-16523
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16497-16506
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 2364-2383
No TPTP formula. May not be expressible in strict first order. Merge.kif 14907-14909
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2960-2966
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 13441-13443
No TPTP formula. May not be expressible in strict first order. Cars.kif 3619-3643
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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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