Hungry - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat ChineseLanguage Hungry "饥饿")	domainEnglishFormat.kif 28963-28963
(termFormat ChineseTraditionalLanguage Hungry "飢餓")	domainEnglishFormat.kif 28962-28962
(termFormat EnglishLanguage Hungry "hungry")	domainEnglishFormat.kif 28961-28961

antecedent

(=>
    (attribute ?A Hungry)
    (desires ?A
        (exists (?E)
            (and
                (instance ?E Eating)
                (agent ?E ?A)))))

Mid-level-ontology.kif 20880-20886

If hungry is an attribute of a cognitive agent,
then the cognitive agent desires there exists an entity such that the entity is an instance of eating and the cognitive agent is an agent of the entity

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: