Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Thirsty(thirsty) |  | thirsty |
| appearance as argument number 1 |
|
|
| (instance Thirsty BiologicalAttribute) | Mid-level-ontology.kif 21701-21701 | Thirsty is an instance of biological attribute |
| (documentation Thirsty EnglishLanguage "The Attribute that applies to Animals and Humans when they want to drink.") | Mid-level-ontology.kif 21703-21704 | Thirsty is an instance of biological attribute |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Hungry Thirsty) | Mid-level-ontology.kif 21702-21702 | Hungry is internally related to thirsty |
| (termFormat EnglishLanguage Thirsty "thirsty") | domainEnglishFormat.kif 65604-65604 | Hungry is internally related to thirsty |
| antecedent |
|
|
| (=> (attribute ?A Thirsty) (desires ?A (exists (?D) (and (instance ?D Drinking) (agent ?D ?A))))) |
Mid-level-ontology.kif 21706-21712 | If thirsty is an attribute of X, then X desires there exists Y such that Y is an instance of drinking and X is an agent of Y |
|