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 12537-12538
No TPTP formula. May not be expressible in strict first order. Merge.kif 12536-12536 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 12611-12611 Hearing is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 12550-12550 Seeing is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 12585-12585 Smelling is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 12660-12660 Tactile perception is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 12598-12598 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 1658-1658

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12540-12544
No TPTP formula. May not be expressible in strict first order. Merge.kif 16446-16453

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1684-1695
No TPTP formula. May not be expressible in strict first order. emotion.kif 1557-1571
No TPTP formula. May not be expressible in strict first order. emotion.kif 1707-1720
No TPTP formula. May not be expressible in strict first order. emotion.kif 873-885
No TPTP formula. May not be expressible in strict first order. emotion.kif 860-871
No TPTP formula. May not be expressible in strict first order. emotion.kif 801-811
No TPTP formula. May not be expressible in strict first order. Merge.kif 12546-12548
No TPTP formula. May not be expressible in strict first order. Merge.kif 14725-14733
No TPTP formula. May not be expressible in strict first order. Merge.kif 14735-14746


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