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 13661-13662
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 13660-13660 Seeing is a subclass of perception

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13691-13691 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 13664-13672
No TPTP formula. May not be expressible in strict first order. Merge.kif 13681-13689
No TPTP formula. May not be expressible in strict first order. Merge.kif 13674-13679
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 14892-14894
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 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