| 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 16647-16648 | |
| (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 16646-16646 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Dead Living) | Merge.kif 16658-16658 | |
| (exhaustiveAttribute AnimacyAttribute Living Dead) | Merge.kif 16643-16643 | |
| (termFormat ChineseLanguage Living "活的") | domainEnglishFormat.kif 34699-34699 | |
| (termFormat ChineseTraditionalLanguage Living "活的") | domainEnglishFormat.kif 34698-34698 | |
| (termFormat EnglishLanguage Living "living") | domainEnglishFormat.kif 34697-34697 |
| antecedent |
|
|
| (<=> (and (instance ?AGENT SentientAgent) (attribute ?AGENT Living)) (exists (?ATTR) (and (instance ?ATTR ConsciousnessAttribute) (attribute ?AGENT ?ATTR)))) |
Merge.kif 16831-16838 |
| 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 11317-11323 | |
| (=> (and (instance ?ORGANISM Organism) (agent ?PROCESS ?ORGANISM)) (holdsDuring (WhenFn ?PROCESS) (attribute ?ORGANISM Living))) |
Merge.kif 16650-16654 | |
| (=> (holdsDuring ?TIME (leader ?X ?Y)) (holdsDuring ?TIME (attribute ?Y Living))) |
Merge.kif 1525-1527 | |
| (=> (instance ?ATTR PsychologicalAttribute) (=> (and (holdsDuring ?TIME (attribute ?ORGANISM ?ATTR)) (instance ?ORGANISM Organism)) (holdsDuring ?TIME (attribute ?ORGANISM Living)))) |
Merge.kif 16802-16808 | |
| (=> (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 16854-16858 |
|
|
|
