Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Hungry
Hungry(hungry)
bulimia, empty, empty-bellied, esurient, famish, famished, hunger, hungriness, hungry, peckish, ravenous, sharp-set, starve, starved

appearance as argument number 1
-------------------------


(instance Hungry BiologicalAttribute) Mid-level-ontology.kif 21689-21689 Hungry is an instance of biological attribute
(documentation Hungry EnglishLanguage "The Attribute that applies to Animals and Humans when they want food.") Mid-level-ontology.kif 21690-21691 Hungry is an instance of biological attribute
(relatedInternalConcept Hungry Thirsty) Mid-level-ontology.kif 21702-21702 Hungry is internally related to thirsty
(externalImage Hungry "http://upload.wikimedia.org/wikipedia/commons/d/db/ Pippit_closer.jpg") pictureList.kif 6619-6619 Hungry is internally related to thirsty

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Hungry "hungry") domainEnglishFormat.kif 28937-28937
(termFormat ChineseTraditionalLanguage Hungry "飢餓") domainEnglishFormat.kif 28938-28938
(termFormat ChineseLanguage Hungry "饥饿") domainEnglishFormat.kif 28939-28939

antecedent
-------------------------


(=>
    (attribute ?A Hungry)
    (desires ?A
        (exists (?E)
            (and
                (instance ?E Eating)
                (agent ?E ?A)))))		 Mid-level-ontology.kif 21693-21699 If hungry is an attribute of X, then X desires there exists Y such that Y is an instance of eating and X is an agent of Y


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners