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


KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - Living
Living(living)
abidance, abide, accommodate, afterlife, alive, aliveness, animateness, animation, be, bide, bivouac, bivouacking, board, breathe, camp, camp_out, camping, cohabit, cohabitation, concubinage, consist, domicile, domiciliate, dwell, encamp, encampment, endurance, eternal_life, exist, habitation, hereafter, immortality, indwell, infest, inhabit, inhabitancy, inhabitation, kick_about, kick_around, kingdom_come, knock_about, lie, lie_in, life, life_eternal, live, live_together, liveness, living, lodge...

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


(instance Living AnimacyAttribute) Merge.kif 18421-18421 Living is an instance of animacy attribute
(documentation Living EnglishLanguage "This Attribute applies to Organisms that are alive.") Merge.kif 18422-18423 Living is an instance of animacy attribute
(externalImage Living "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Animal_diversity_October_2007.jpg") pictureList.kif 2974-2974 Living is an instance of animacy attribute
(externalImage Living "http://upload.wikimedia.org/wikipedia/commons/d/d5/ Animalia_diversity.jpg") pictureList.kif 3154-3154 Living is an instance of animacy attribute
(externalImage Living "http://upload.wikimedia.org/wikipedia/commons/5/5f/ Plants_diversity.jpg") pictureList.kif 3155-3155 Living is an instance of animacy attribute

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


(exhaustiveAttribute AnimacyAttribute Living Dead) Merge.kif 18418-18418 Living are all the attributes of animacy attribute
(contraryAttribute Dead Living) Merge.kif 18433-18433 Dead is the opposite of living
(termFormat EnglishLanguage Living "living") domainEnglishFormat.kif 34789-34789 Dead is the opposite of living
(termFormat ChineseTraditionalLanguage Living "活的") domainEnglishFormat.kif 34790-34790 Dead is the opposite of living
(termFormat ChineseLanguage Living "活的") domainEnglishFormat.kif 34791-34791 Dead is the opposite of living

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


(=>
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living))
    (exists (?ATTR)
        (and
            (instance ?ATTR ConsciousnessAttribute)
            (attribute ?AGENT ?ATTR))))		 Merge.kif 18647-18654 If X is an instance of sentient agent and living is an attribute of X, then there exists Y such that Y is an instance of consciousness attribute and Y is an attribute of X
(=>
    (and
        (instance ?RC RibCage)
        (part ?RC ?H)
        (instance ?H Human)
        (attribute ?H Living)
        (not
            (and
                (instance ?P PathologicProcess)
                (located ?P ?H))))
    (exists (?HT ?LG)
        (and
            (instance ?HT Heart)
            (instance ?HT Lung)
            (contains ?RC ?LG)
            (contains ?RC ?HT))))		 Mid-level-ontology.kif 12743-12758 If X is an instance of rib cage, X is a part of Y, Y is an instance of human, living is an attribute of Y, and ~{ Z is an instance of pathologic process } or ~{ Z is located at Y }, then there exist W, V such that W is an instance of heart, W is an instance of lung, X contains V, and X contains W

consequent
-------------------------


(=>
    (holdsDuring ?TIME
        (leader ?X ?Y))
    (holdsDuring ?TIME
        (attribute ?Y Living)))		 Merge.kif 1711-1713 If X is a leader of Y holds during Z, then living is an attribute of X holds during Z
(=>
    (and
        (instance ?KILL Killing)
        (patient ?KILL ?PATIENT))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Living))
        (holdsDuring
            (FutureFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Dead))))		 Merge.kif 12591-12597 If X is an instance of killing and Y is a patient of X, then living is an attribute of Y holds during the beginning of the time of existence of X and dead is an attribute of Y holds during after the time of existence of X
(=>
    (and
        (instance ?ORGANISM Organism)
        (agent ?PROCESS ?ORGANISM))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?ORGANISM Living)))		 Merge.kif 18425-18429 If X is an instance of organism and X is an agent of Y, then living is an attribute of X holds during the time of existence of Y
(=>
    (instance ?ATTR PsychologicalAttribute)
    (=>
        (and
            (holdsDuring ?TIME
                (attribute ?ORGANISM ?ATTR))
            (instance ?ORGANISM Organism))
        (holdsDuring ?TIME
            (attribute ?ORGANISM Living))))		 Merge.kif 18611-18617 Assuming X is an instance of psychological attribute, it follows that: if X is an attribute of Y holds during Z and Y is an instance of organism, then living is an attribute of Y holds during Z
(=>
    (and
        (instance ?ATTR ConsciousnessAttribute)
        (attribute ?AGENT ?ATTR))
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living)))		 Merge.kif 18656-18662 If X is an instance of consciousness attribute and X is an attribute of Y, then Y is an instance of sentient agent and living is an attribute of Y
(=>
    (or
        (attribute ?AGENT Asleep)
        (attribute ?AGENT Awake))
    (attribute ?AGENT Living))		 Merge.kif 18692-18696 If asleep is an attribute of X or awake is an attribute of X, then living is an attribute of X
(=>
    (instance ?ORG Organism)
    (holdsDuring
        (WhenFn ?ORG)
        (attribute ?ORG Living)))		 Mid-level-ontology.kif 83-86 If X is an instance of organism, then living is an attribute of X holds during the time of existence of X
(=>
    (and
        (instance ?VO VitalOrgan)
        (instance ?H Animal)
        (not
            (part ?VO ?H)))
    (not
        (attribute ?H Living)))		 Mid-level-ontology.kif 13337-13344 If X is an instance of vital organ, Y is an instance of animal, and X is not a part of Y, then living is not an attribute of Y
(=>
    (instance ?P Succulent)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Drought)
                (experiencer ?D ?P)
                (attribute ?P Living))) Likely))		 Geography.kif 7886-7893 If X is an instance of succulent, then the statement there exists Y such that Y is an instance of drought, X experiences Y, and living is an attribute of X has the modal force of likely


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