Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

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
-------------------------


(documentation Living ChineseLanguage "这是指活着的 OrganismAttribute。") chinese_format.kif 4015-4015
(documentation Living EnglishLanguage "This Attribute applies to Organisms that are alive.") Merge.kif 18253-18254
(externalImage Living "http://upload.wikimedia.org/wikipedia/commons/5/5f/ Plants_diversity.jpg") pictureList.kif 3155-3155
(externalImage Living "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Animal_diversity_October_2007.jpg") pictureList.kif 2974-2974
(externalImage Living "http://upload.wikimedia.org/wikipedia/commons/d/d5/ Animalia_diversity.jpg") pictureList.kif 3154-3154
(instance Living AnimacyAttribute) Merge.kif 18252-18252 Living is an instance of animacy attribute

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


(contraryAttribute Dead Living) Merge.kif 18264-18264 Dead is the opposite of living
(exhaustiveAttribute AnimacyAttribute Living Dead) Merge.kif 18249-18249 Living are all the attributes of animacy attribute
(termFormat ChineseLanguage Living "活的") domainEnglishFormat.kif 34798-34798 Living are all the attributes of animacy attribute
(termFormat ChineseTraditionalLanguage Living "活的") domainEnglishFormat.kif 34797-34797 Living are all the attributes of animacy attribute
(termFormat EnglishLanguage Living "living") domainEnglishFormat.kif 34796-34796 Living are all the attributes of animacy attribute

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


(=>
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living))
    (exists (?ATTR)
        (and
            (instance ?ATTR ConsciousnessAttribute)
            (attribute ?AGENT ?ATTR))))
Merge.kif 18471-18478
(=>
    (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 12578-12593

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


(=>
    (and
        (instance ?ATTR ConsciousnessAttribute)
        (attribute ?AGENT ?ATTR))
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living)))
Merge.kif 18480-18486
(=>
    (and
        (instance ?KILL Killing)
        (patient ?KILL ?PATIENT))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Living))
        (holdsDuring
            (FutureFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Dead))))
Merge.kif 12440-12446
(=>
    (and
        (instance ?ORGANISM Organism)
        (agent ?PROCESS ?ORGANISM))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?ORGANISM Living)))
Merge.kif 18256-18260
(=>
    (and
        (instance ?VO VitalOrgan)
        (instance ?H Animal)
        (not
            (part ?VO ?H)))
    (not
        (attribute ?H Living)))
Mid-level-ontology.kif 13168-13175
(=>
    (holdsDuring ?TIME
        (leader ?X ?Y))
    (holdsDuring ?TIME
        (attribute ?Y Living)))
Merge.kif 1613-1615
(=>
    (instance ?ATTR PsychologicalAttribute)
    (=>
        (and
            (holdsDuring ?TIME
                (attribute ?ORGANISM ?ATTR))
            (instance ?ORGANISM Organism))
        (holdsDuring ?TIME
            (attribute ?ORGANISM Living))))
Merge.kif 18442-18448
(=>
    (instance ?ORG Organism)
    (holdsDuring
        (WhenFn ?ORG)
        (attribute ?ORG Living)))
Mid-level-ontology.kif 96-99
(=>
    (instance ?P Succulent)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Drought)
                (experiencer ?D ?P)
                (attribute ?P Living))) Likely))
Geography.kif 6419-6426
(=>
    (or
        (attribute ?AGENT Asleep)
        (attribute ?AGENT Awake))
    (attribute ?AGENT Living))
Merge.kif 18516-18520


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