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...

VerbNet: tingle-40.8.2|burn, sight-30.2|perceive, sight-30.2|recognize, sight-30.2|recognize, sight-30.2|survey, run-51.3.2|ghost, sight-30.2|recognize, sight-30.2|perceive, sight-30.2|recognize, tingle-40.8.2|twinge, tingle-40.8.2|prickle, sight-30.2|recognize, sight-30.2|recognize, sight-30.2|witness, run-51.3.2|ghost, run-51.3.2|ghost, run-51.3.2|ghost, run-51.3.2|ghost, sight-30.2|recognize, tingle-40.8.2|twinge, sight-30.2|survey, sight-30.2|survey, sight-30.2|recognize, tingle-40.8.2|throb, tingle-40.8.2|twinge, sight-30.2|witness, run-51.3.2|ghost,


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 12502-12503
No TPTP formula. May not be expressible in strict first order. Merge.kif 12501-12501 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 12576-12576 Hearing is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 12515-12515 Seeing is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 12550-12550 Smelling is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 12625-12625 Tactile perception is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 12563-12563 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 12505-12509
No TPTP formula. May not be expressible in strict first order. Merge.kif 16394-16401

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1678-1689
No TPTP formula. May not be expressible in strict first order. emotion.kif 1551-1565
No TPTP formula. May not be expressible in strict first order. emotion.kif 1701-1714
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 12511-12513
No TPTP formula. May not be expressible in strict first order. Merge.kif 14690-14698
No TPTP formula. May not be expressible in strict first order. Merge.kif 14700-14711


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