Sweat |
appearance as argument number 1 |
(documentation Sweat EnglishLanguage "An AnimalSubstance that contains SodiumChloride and is produced by the sweat glands.") | Mid-level-ontology.kif 9458-9459 | |
(subclass Sweat AnimalSubstance) | Mid-level-ontology.kif 9457-9457 |
appearance as argument number 2 |
(secretesSubstance SweatGland Sweat) | Mid-level-ontology.kif 12258-12258 | |
(termFormat ChineseLanguage Sweat "汗") | domainEnglishFormat.kif 56479-56479 | |
(termFormat ChineseTraditionalLanguage Sweat "汗") | domainEnglishFormat.kif 56478-56478 | |
(termFormat EnglishLanguage Sweat "sweat") | domainEnglishFormat.kif 56477-56477 |
antecedent |
(=> (instance ?SWEAT Sweat) (exists (?PART) (and (instance ?PART SodiumChloride) (part ?PART ?SWEAT)))) |
Mid-level-ontology.kif 9461-9466 |
consequent |
(=> (instance ?P Perspiring) (exists (?S) (and (instance ?S Sweat) (result ?P ?S)))) |
emotion.kif 1482-1487 |