Living
|
|
appearance as argument number 1 |
(documentation Living ChineseLanguage "这是指活着的 Organism 的 Attribute。") | chinese_format.kif 4015-4015 | |
(documentation Living EnglishLanguage "This Attribute applies to Organisms that are alive.") | Merge.kif 18104-18105 | |
(externalImage Living "http://upload.wikimedia.org/wikipedia/commons/5/5f/ Plants_diversity.jpg") | pictureList.kif 3156-3156 | |
(externalImage Living "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Animal_diversity_October_2007.jpg") | pictureList.kif 2975-2975 | |
(externalImage Living "http://upload.wikimedia.org/wikipedia/commons/d/d5/ Animalia_diversity.jpg") | pictureList.kif 3155-3155 | |
(instance Living AnimacyAttribute) | Merge.kif 18103-18103 | Living e' uma instancia de Atributo de Animacao |
appearance as argument number 2 |
(contraryAttribute Dead Living) | Merge.kif 18115-18115 | Dead e' &o oposto de Living |
(exhaustiveAttribute AnimacyAttribute Living Dead) | Merge.kif 18100-18100 | exhaustiveAttribute Atributo de Animacao, Living and Dead |
(termFormat ChineseLanguage Living "活的") | domainEnglishFormat.kif 34787-34787 | |
(termFormat ChineseTraditionalLanguage Living "活的") | domainEnglishFormat.kif 34786-34786 | |
(termFormat EnglishLanguage Living "living") | domainEnglishFormat.kif 34785-34785 |
antecedent |
(=> (and (instance ?AGENT SentientAgent) (attribute ?AGENT Living)) (exists (?ATTR) (and (instance ?ATTR ConsciousnessAttribute) (attribute ?AGENT ?ATTR)))) |
Merge.kif 18321-18328 | |
(=> (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 11246-11261 |
|
consequent |
(=> (and (instance ?ATTR ConsciousnessAttribute) (attribute ?AGENT ?ATTR)) (and (instance ?AGENT SentientAgent) (attribute ?AGENT Living))) |
Merge.kif 18330-18336 | |
(=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead)))) |
Merge.kif 12327-12333 | |
(=> (and (instance ?ORGANISM Organism) (agent ?PROCESS ?ORGANISM)) (holdsDuring (WhenFn ?PROCESS) (attribute ?ORGANISM Living))) |
Merge.kif 18107-18111 |
|
(=> (and (instance ?VO VitalOrgan) (instance ?H Animal) (not (part ?VO ?H))) (not (attribute ?H Living))) |
Mid-level-ontology.kif 11836-11843 | |
(=> (holdsDuring ?TIME (leader ?X ?Y)) (holdsDuring ?TIME (attribute ?Y Living))) |
Merge.kif 1618-1620 |
|
(=> (instance ?ATTR PsychologicalAttribute) (=> (and (holdsDuring ?TIME (attribute ?ORGANISM ?ATTR)) (instance ?ORGANISM Organism)) (holdsDuring ?TIME (attribute ?ORGANISM Living)))) |
Merge.kif 18292-18298 | |
(=> (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 6286-6293 | |
(=> (or (attribute ?AGENT Asleep) (attribute ?AGENT Awake)) (attribute ?AGENT Living)) |
Merge.kif 18366-18370 |