| 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 16804-16805 | |
| (externalImage Living "http://upload.wikimedia.org/wikipedia/commons/5/5f/ Plants_diversity.jpg") | pictureList.kif 3157-3157 | |
| (externalImage Living "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Animal_diversity_October_2007.jpg") | pictureList.kif 2976-2976 | |
| (externalImage Living "http://upload.wikimedia.org/wikipedia/commons/d/d5/ Animalia_diversity.jpg") | pictureList.kif 3156-3156 | |
| (instance Living AnimacyAttribute) | Merge.kif 16803-16803 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Dead Living) | Merge.kif 16815-16815 | |
| (exhaustiveAttribute AnimacyAttribute Living Dead) | Merge.kif 16800-16800 | |
| (termFormat ChineseLanguage Living "活的") | domainEnglishFormat.kif 34711-34711 | |
| (termFormat ChineseTraditionalLanguage Living "活的") | domainEnglishFormat.kif 34710-34710 | |
| (termFormat EnglishLanguage Living "living") | domainEnglishFormat.kif 34709-34709 |
| antecedent |
|
|
| (<=> (and (instance ?AGENT SentientAgent) (attribute ?AGENT Living)) (exists (?ATTR) (and (instance ?ATTR ConsciousnessAttribute) (attribute ?AGENT ?ATTR)))) |
Merge.kif 16988-16995 |
| 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 11458-11464 | |
| (=> (and (instance ?ORGANISM Organism) (agent ?PROCESS ?ORGANISM)) (holdsDuring (WhenFn ?PROCESS) (attribute ?ORGANISM Living))) |
Merge.kif 16807-16811 | |
| (=> (holdsDuring ?TIME (leader ?X ?Y)) (holdsDuring ?TIME (attribute ?Y Living))) |
Merge.kif 1527-1529 | |
| (=> (instance ?ATTR PsychologicalAttribute) (=> (and (holdsDuring ?TIME (attribute ?ORGANISM ?ATTR)) (instance ?ORGANISM Organism)) (holdsDuring ?TIME (attribute ?ORGANISM Living)))) |
Merge.kif 16959-16965 | |
| (=> (instance ?ORG Organism) (holdsDuring (WhenFn ?ORG) (attribute ?ORG Living))) |
Mid-level-ontology.kif 219-222 | |
| (=> (or (attribute ?AGENT Asleep) (attribute ?AGENT Awake)) (attribute ?AGENT Living)) |
Merge.kif 17011-17015 |
|
|
|