Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TactilePerception
TactilePerception

appearance as argument number 1
-------------------------


(documentation TactilePerception ChineseLanguage "这是 Perceptionsubclass,当中 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 13632-13636
(subclass TactilePerception Perception) Merge.kif 13631-13631

appearance as argument number 2
-------------------------


(subclass Itching TactilePerception) Mid-level-ontology.kif 5706-5706
(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 13638-13643

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


(=>
    (instance ?FG FeelerGauge)
    (hasPurpose ?FG
        (exists (?TP ?M)
            (and
                (instance ?M Measuring)
                (instance ?TP TactilePerception)
                (subProcess ?TP ?M)
                (instrument ?M ?FG)))))
Cars.kif 2796-2804


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