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 18082-18083 | |
(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 18081-18081 | Living è un' istanza di AttributoVitale |
appearance as argument number 2 |
(contraryAttribute Dead Living) | Merge.kif 18093-18093 | Dead è opposto a Living |
(exhaustiveAttribute AnimacyAttribute Living Dead) | Merge.kif 18078-18078 | exhaustiveAttribute AttributoVitale, 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 18299-18306 | |
(=> (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 11247-11262 |
|
consequent |