Northwest
|
|
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 19828-19829 | |
(instance Thirsty BiologicalAttribute) | Mid-level-ontology.kif 19826-19826 | Thirsty は 生物学的属性 の instance では %n |
appearance as argument number 2 |
(relatedInternalConcept Hungry Thirsty) | Mid-level-ontology.kif 19827-19827 | Hungry は Thirsty に internally 関連して %n |
(termFormat EnglishLanguage Thirsty "thirsty") | domainEnglishFormat.kif 65603-65603 |
antecedent |
(=> (attribute ?A Thirsty) (desires ?A (exists (?D) (and (instance ?D Drinking) (agent ?D ?A))))) |
Mid-level-ontology.kif 19831-19837 |