Thirsty | ![]() |
appearance as argument number 1 |
![]() |
(documentation Thirsty EnglishLanguage "The Attribute that applies to Animals and Humans when they want to drink.") | Mid-level-ontology.kif 19800-19801 | |
(instance Thirsty BiologicalAttribute) | Mid-level-ontology.kif 19798-19798 | Thirsty e' uma instancia de Atributo Biologico |
appearance as argument number 2 |
![]() |
(relatedInternalConcept Hungry Thirsty) | Mid-level-ontology.kif 19799-19799 | Hungry e' relacionado internamente por SUMO a Thirsty |
(termFormat EnglishLanguage Thirsty "thirsty") | domainEnglishFormat.kif 65601-65601 |
antecedent |
![]() |
(=> (attribute ?A Thirsty) (desires ?A (exists (?D) (and (instance ?D Drinking) (agent ?D ?A))))) |
Mid-level-ontology.kif 19803-19809 |
|
![]() |
![]() |