Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TactilePerception(tactile perception) |  | creepiness, cutaneous_sensation, feel, feeling, feeling_of_movement, finger, haptic, haptic_sensation, haptically, itch, itchiness, itching, kinaesthesia, kinaesthetic, kinesthesia, kinesthetic, prickle, pruritus, pruritus_ani, pruritus_vulvae, sense, skin_perceptiveness, skin_sensation, tactile, tactile_sensation, tactility, tactual, tactual_sensation, tactually, thumb, tickle, tingle, touch, touch_perception, touch_sensation, urtication |
| appearance as argument number 1 |
|
|
| (subclass TactilePerception Perception) | Merge.kif 13941-13941 | Tactile perception is a subclass of perception |
| (documentation TactilePerception EnglishLanguage "The subclass of Perception in which the sensing is done by Touching. Note that Touching need not involve TactilePerception. For example, a person who has lost all sensation in both of his legs would have no TactilePerception of anything his legs were Touching.") | Merge.kif 13942-13946 | Tactile perception is a subclass of perception |
| appearance as argument number 2 |
|
|
| (subclass Itching TactilePerception) | Mid-level-ontology.kif 6825-6825 | Pruritus is a subclass of tactile perception |
| (termFormat EnglishLanguage TactilePerception "tactile perception") | english_format.kif 1667-1667 | Pruritus is a subclass of tactile perception |
| antecedent |
|
|
| (=> (instance ?TACTILE TactilePerception) (exists (?TOUCH) (and (instance ?TOUCH Touching) (subProcess ?TOUCH ?TACTILE)))) |
Merge.kif 13948-13953 | If X is an instance of tactile perception, then there exists Y such that Y is an instance of touching and Y is a subprocess of X |
| consequent |
|
|
| (=> (instance ?FG FeelerGauge) (hasPurpose ?FG (exists (?TP ?M) (and (instance ?M Measuring) (instance ?TP TactilePerception) (subProcess ?TP ?M) (instrument ?M ?FG))))) |
Cars.kif 2634-2642 | If X is an instance of feeler gauge, then X has the purpose there exist Y, Z such that Z is an instance of measuring, Y is an instance of tactile perception, Y is a subprocess of Z, and X is an instrument for Z |
|