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 13452-13453
No TPTP formula. May not be expressible in strict first order. Merge.kif 13451-13451 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 13582-13582 Hearing is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 13521-13521 Seeing is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 13556-13556 Smelling is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 13631-13631 Tactile perception is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 13569-13569 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 894-894
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 427-427
No TPTP formula. May not be expressible in strict first order. terms-it.txt 430-430
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2578-2578
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 846-846
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 466-466
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 915-915
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 431-431

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13489-13489 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 13509-13509 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 13455-13459
No TPTP formula. May not be expressible in strict first order. Merge.kif 17618-17625

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 3665-3678
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6429-6439
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2060-2070
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 13461-13463
No TPTP formula. May not be expressible in strict first order. Merge.kif 15844-15852
No TPTP formula. May not be expressible in strict first order. Merge.kif 15854-15865


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