| Living
| |
| appearance as argument number 1 |
|
|
| (documentation Living ChineseLanguage "这是指活着的 Organism 的 Attribute。") | Merge.kif 18493-18493 | |
| (documentation Living EnglishLanguage "This Attribute applies to Organisms that are alive.") | Merge.kif 18491-18492 | |
| (externalImage Living "http://upload.wikimedia.org/wikipedia/commons/5/5f/ Plants_diversity.jpg") | pictureList.kif 3157-3157 | externalImage Living and "http://upload.wikimedia.org/wikipedia/commons/5/5f/ Plants_diversity.jpg" |
| (externalImage Living "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Animal_diversity_October_2007.jpg") | pictureList.kif 2976-2976 | externalImage Living and "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Animal_diversity_October_2007.jpg" |
| (externalImage Living "http://upload.wikimedia.org/wikipedia/commons/d/d5/ Animalia_diversity.jpg") | pictureList.kif 3156-3156 | externalImage Living and "http://upload.wikimedia.org/wikipedia/commons/d/d5/ Animalia_diversity.jpg" |
| (instance Living AnimacyAttribute) | Merge.kif 18490-18490 | instance Living and 有生性属性 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Dead Living) | Merge.kif 18503-18503 | contraryAttribute Dead and Living |
| (exhaustiveAttribute AnimacyAttribute Living Dead) | Merge.kif 18485-18485 | exhaustiveAttribute 有生性属性, Living and Dead |
| (termFormat EnglishLanguage Living "living") | domainEnglishFormat.kif 6216-6216 | termFormat EnglishLanguage, Living and "living" |
| antecedent |
|
|
| (<=> (and (instance ?AGENT SentientAgent) (attribute ?AGENT Living)) (exists (?ATTR) (and (instance ?ATTR ConsciousnessAttribute) (attribute ?AGENT ?ATTR)))) |
Merge.kif 18701-18708 | instance オブジェクト and 意識［知覚］を持つ代理(人) attribute オブジェクト and Living エンティティー instance エンティティー and 意識属性 attribute オブジェクト and エンティティー |
| consequent |
|
|
| (=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead)))) |
Merge.kif 12245-12251 | |
| (=> (and (instance ?ORGANISM Organism) (agent ?PROCESS ?ORGANISM)) (holdsDuring (WhenFn ?PROCESS) (attribute ?ORGANISM Living))) |
Merge.kif 18495-18499 | |
| (=> (holdsDuring ?TIME (leader ?X ?Y)) (holdsDuring ?TIME (attribute ?Y Living))) |
Merge.kif 1664-1666 |
|
| (=> (instance ?ATTR PsychologicalAttribute) (=> (and (holdsDuring ?TIME (attribute ?ORGANISM ?ATTR)) (instance ?ORGANISM Organism)) (holdsDuring ?TIME (attribute ?ORGANISM Living)))) |
Merge.kif 18665-18671 | |
| (=> (instance ?ORG Organism) (holdsDuring (WhenFn ?ORG) (attribute ?ORG Living))) |
Mid-level-ontology.kif 220-223 | |
| (=> (or (attribute ?AGENT Asleep) (attribute ?AGENT Awake)) (attribute ?AGENT Living)) |
Merge.kif 18731-18735 |
|
|
|