Sweat - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Sweat AnimalSubstance)	Mid-level-ontology.kif 10948-10948	Sweat is a subclass of animal substance
(documentation Sweat EnglishLanguage "An AnimalSubstance that contains SodiumChloride and is produced by the sweat glands.")	Mid-level-ontology.kif 10949-10950	Sweat is a subclass of animal substance

appearance as argument number 2

(secretesSubstance SweatGland Sweat)	Mid-level-ontology.kif 13855-13855	Sweat is a secretes substance of sweat gland
(termFormat EnglishLanguage Sweat "sweat")	domainEnglishFormat.kif 56474-56474	Sweat is a secretes substance of sweat gland
(termFormat ChineseTraditionalLanguage Sweat "汗")	domainEnglishFormat.kif 56475-56475	Sweat is a secretes substance of sweat gland
(termFormat ChineseLanguage Sweat "汗")	domainEnglishFormat.kif 56476-56476	Sweat is a secretes substance of sweat gland

antecedent

(=>
    (instance ?SWEAT Sweat)
    (exists (?PART)
        (and
            (instance ?PART SodiumChloride)
            (part ?PART ?SWEAT))))

If X is an instance of sweat, then there exists Y such that Y is an instance of salt and Y is a part of X

consequent

(=>
    (instance ?P Perspiring)
    (exists (?S)
        (and
            (instance ?S Sweat)
            (result ?P ?S))))

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