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


KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1In2Ra3In4Re5En6Ra7ReFn

 Sigma KEE - Greedy
Greedy(greedy)avaricious, covetous, grabby, grasping, greedy, prehensile

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


(documentation Greedy EnglishLanguage "Wanting more than is necessary") Mid-level-ontology.kif 21727-21727
(subclass Greedy SubjectiveStrongNegativeAttribute) Mid-level-ontology.kif 21729-21729 Greedy is a subclass of subjective strong negative attribute
(subclass Greedy TraitAttribute) Mid-level-ontology.kif 21730-21730 Greedy is a subclass of trait attribute

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


(termFormat EnglishLanguage Greedy "greedy") Mid-level-ontology.kif 21728-21728

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


(=>
    (attribute ?ORG Greedy)
    (exists (?OBJ)
        (and
            (instance ?ORG Organism)
            (instance ?OBJ Physical)
            (desires ?ORG
                (possesses ?ORG ?OBJ))
            (not
                (modalAttribute
                    (possesses ?ORG ?OBJ) Necessity)))))		 Mid-level-ontology.kif 21732-21740 If greedy is an attribute of X, then there exists Y such that X is an instance of organism, Y is an instance of physical, X desires X possesses Y, and the statement X doesn't possess Y doesn't have the modal force of necessity


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

Show without tree

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