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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Perception

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 13212-13213
No TPTP formula. May not be expressible in strict first order. Merge.kif 13211-13211 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 13342-13342 Hearing is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 13281-13281 Seeing is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 13316-13316 Smelling is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 13391-13391 Tactile perception is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 13329-13329 Tasting is a subclass of perception
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1216-1216
No TPTP formula. May not be expressible in strict first order. english_format.kif 1653-1653

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13249-13249 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 13269-13269 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 13215-13219
No TPTP formula. May not be expressible in strict first order. Merge.kif 17362-17369

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. Mid-level-ontology.kif 6102-6112
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 13221-13223
No TPTP formula. May not be expressible in strict first order. Merge.kif 15575-15583
No TPTP formula. May not be expressible in strict first order. Merge.kif 15585-15596


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