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 9485-9486 | |
(subclass Sweat AnimalSubstance) | Mid-level-ontology.kif 9484-9484 | Sweat est une sous-classe de AnimalSubstance |
appearance as argument number 2 |
(secretesSubstance SweatGland Sweat) | Mid-level-ontology.kif 12285-12285 | secretesSubstance SweatGland and Sweat |
(termFormat ChineseLanguage Sweat "汗") | domainEnglishFormat.kif 56481-56481 | |
(termFormat ChineseTraditionalLanguage Sweat "汗") | domainEnglishFormat.kif 56480-56480 | |
(termFormat EnglishLanguage Sweat "sweat") | domainEnglishFormat.kif 56479-56479 |
antecedent |
(=> (instance ?SWEAT Sweat) (exists (?PART) (and (instance ?PART SodiumChloride) (part ?PART ?SWEAT)))) |
Mid-level-ontology.kif 9488-9493 |
consequent |
(=> (instance ?P Perspiring) (exists (?S) (and (instance ?S Sweat) (result ?P ?S)))) |
emotion.kif 1482-1487 |