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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Perspiring
Perspiring(sweating)cold_sweat, diaphoresis, hidrosis, perspiration, perspire, sudate, sudation, sweat, sweating

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


(documentation Perspiring EnglishLanguage "The Process by which Sweat is secreted by the SweatGlands.") Mid-level-ontology.kif 12472-12473
(subclass Perspiring Excreting) Mid-level-ontology.kif 12471-12471 Sweating is a subclass of excreting
(subclass Perspiring LiquidMotion) emotion.kif 1480-1480 Sweating is a subclass of liquid motion
(subclass Perspiring PhysiologicalResponseToEmotionalState) emotion.kif 1477-1477 Sweating is a subclass of physiological response to emotion process

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


(subclass PerspiringHands Perspiring) emotion.kif 1490-1490 Perspiring (hands) is a subclass of sweating
(subclass PerspiringWholeBody Perspiring) emotion.kif 1503-1503 Perspiring (whole body) is a subclass of sweating
(termFormat EnglishLanguage Perspiring "perspiring") emotion.kif 1478-1478 Perspiring (whole body) is a subclass of sweating
(termFormat EnglishLanguage Perspiring "sweating") emotion.kif 1479-1479 Perspiring (whole body) is a subclass of sweating

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


(=>
    (and
        (instance ?P Perspiring)
        (experiencer ?P ?A))
    (exists (?H)
        (and
            (instance ?H Hand)
            (part ?H ?A)
            (destination ?P ?H))))
emotion.kif 1492-1500
(=>
    (instance ?P Perspiring)
    (exists (?S)
        (and
            (instance ?S Sweat)
            (result ?P ?S))))
emotion.kif 1482-1487


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