TactilePerception
|
|
appearance as argument number 1 |
(documentation TactilePerception ChineseLanguage "这是 Perception 的 subclass,当中 Touching 是感觉的途径。注:Touching 不一定需要涉及 TactilePerception。例如:一个失去双脚所有的 感觉的人,对于他双脚所 Touching 东西不会有 TactilePerception。") | chinese_format.kif 3323-3325 | |
(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 13678-13682 | |
(subclass TactilePerception Perception) | Merge.kif 13677-13677 |
appearance as argument number 2 |
(subclass Itching TactilePerception) | Mid-level-ontology.kif 5700-5700 | |
(termFormat ChineseLanguage TactilePerception "触觉") | chinese_format.kif 1221-1221 | |
(termFormat EnglishLanguage TactilePerception "tactile perception") | english_format.kif 1663-1663 | |
(termFormat FrenchLanguage TactilePerception "perception tactile") | french_format.kif 899-899 | |
(termFormat Hindi TactilePerception "sparshaniiya gyaana") | terms-hindi.txt 432-432 | |
(termFormat ItalianLanguage TactilePerception "Tatto") | terms-it.txt 435-435 | |
(termFormat JapaneseLanguage TactilePerception "触覚") | japanese_format.kif 2583-2583 | |
(termFormat PortugueseLanguage TactilePerception "Percepcao Tactil") | portuguese_format.kif 851-851 | |
(termFormat cz TactilePerception "tactile perception") | terms-cz.txt 471-471 | |
(termFormat ro TactilePerception "percepþie tactilã") | relations-ro.kif 920-920 | |
(termFormat tg TactilePerception "tunay na pandama") | terms-tg.txt 436-436 |
antecedent |
(=> (instance ?TACTILE TactilePerception) (exists (?TOUCH) (and (instance ?TOUCH Touching) (subProcess ?TOUCH ?TACTILE)))) |
Merge.kif 13684-13689 |
consequent |
(=> (instance ?FG FeelerGauge) (hasPurpose ?FG (exists (?TP ?M) (and (instance ?M Measuring) (instance ?TP TactilePerception) (subProcess ?TP ?M) (instrument ?M ?FG))))) |
Cars.kif 2779-2787 |