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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Perception
Perception(perception)UFO, absolute_threshold, absorption, ache, acold, aesthesis, alertness, apparition, asleep, at_first_hand, attention, attentional, attentiveness, audience, benumbed, bird, birdwatch, burn, catch, center, center_of_attention, centering, centre, centre_of_attention, chiromance, chromaesthesia, chromesthesia, clairvoyant, clear, clearly, clock-watching, cognizance, cold, coldness, colored_audition, colored_hearing, come_across, comfort_zone, comprehend, concentration, cover, cross-modal, crosshairs, detected, detection, difference_limen, difference_threshold, differential_limen, differential_threshold, direction...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3308-3309
No TPTP formula. May not be expressible in strict first order. Merge.kif 13606-13607
No TPTP formula. May not be expressible in strict first order. Merge.kif 13605-13605 Perception is a subclass of psychological process

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13736-13736 Hearing is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 13675-13675 Seeing is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 13710-13710 Smelling is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 13785-13785 Tactile perception is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 13723-13723 Tasting is a subclass of perception
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1216-1216 Tasting is a subclass of perception
No TPTP formula. May not be expressible in strict first order. english_format.kif 1653-1653 Tasting is a subclass of perception
No TPTP formula. May not be expressible in strict first order. french_format.kif 894-894 Tasting is a subclass of perception
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 427-427 Tasting is a subclass of perception
No TPTP formula. May not be expressible in strict first order. terms-it.txt 430-430 Tasting is a subclass of perception
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2578-2578 Tasting is a subclass of perception
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 846-846 Tasting is a subclass of perception
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 466-466 Tasting is a subclass of perception
No TPTP formula. May not be expressible in strict first order. terms-de.txt 725-725 Tasting is a subclass of perception
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 915-915 Tasting is a subclass of perception
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 431-431 Tasting is a subclass of perception

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13643-13643 The number 1 argument of sense impairment is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 13663-13663 The number 1 argument of no ability of is a subclass of perception

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13609-13613
No TPTP formula. May not be expressible in strict first order. Merge.kif 17801-17808

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1710-1721
No TPTP formula. May not be expressible in strict first order. emotion.kif 1583-1597
No TPTP formula. May not be expressible in strict first order. emotion.kif 1738-1751
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3668-3681
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7366-7376
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2057-2067
No TPTP formula. May not be expressible in strict first order. emotion.kif 865-877
No TPTP formula. May not be expressible in strict first order. emotion.kif 852-863
No TPTP formula. May not be expressible in strict first order. emotion.kif 793-803
No TPTP formula. May not be expressible in strict first order. Merge.kif 13615-13617
No TPTP formula. May not be expressible in strict first order. Merge.kif 15994-16002
No TPTP formula. May not be expressible in strict first order. Merge.kif 16004-16015


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