Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Perspiring
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Perspiring Excreting) | Mid-level-ontology.kif 13850-13850 | Sweating is a subclass of excreting |
| (documentation Perspiring EnglishLanguage "The Process by which Sweat is secreted by the SweatGlands.") | Mid-level-ontology.kif 13851-13852 | Sweating is a subclass of excreting |
| (subclass Perspiring PhysiologicalResponseToEmotionalState) | emotion.kif 2332-2332 | Sweating is a subclass of physiological response to emotion process |
| (subclass Perspiring LiquidMotion) | emotion.kif 2335-2335 | Sweating is a subclass of liquid motion |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?P Perspiring) (exists (?S) (and (instance ?S Sweat) (result ?P ?S)))) |
emotion.kif 2337-2342 | If X is an instance of sweating, then there exists Y such that Y is an instance of sweat and Y is a result of X |
| (=> (and (instance ?P Perspiring) (experiencer ?P ?A)) (exists (?H) (and (instance ?H Hand) (part ?H ?A) (destination ?P ?H)))) |
emotion.kif 2347-2355 | If X is an instance of sweating and Y experiences X, then there exists Z such that Z is an instance of hand, Z is a part of Y, and X ends up at Z |
|