| 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 18268-18269 | |
| (externalImage Living "http://upload.wikimedia.org/wikipedia/commons/5/5f/ Plants_diversity.jpg") | pictureList.kif 3155-3155 | |
| (externalImage Living "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Animal_diversity_October_2007.jpg") | pictureList.kif 2974-2974 | |
| (externalImage Living "http://upload.wikimedia.org/wikipedia/commons/d/d5/ Animalia_diversity.jpg") | pictureList.kif 3154-3154 | |
| (instance Living AnimacyAttribute) | Merge.kif 18267-18267 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Dead Living) | Merge.kif 18279-18279 | |
| (exhaustiveAttribute AnimacyAttribute Living Dead) | Merge.kif 18264-18264 | |
| (termFormat ChineseLanguage Living "活的") | domainEnglishFormat.kif 34798-34798 | |
| (termFormat ChineseTraditionalLanguage Living "活的") | domainEnglishFormat.kif 34797-34797 | |
| (termFormat EnglishLanguage Living "living") | domainEnglishFormat.kif 34796-34796 |
| antecedent |
|
|
| (=> (and (instance ?AGENT SentientAgent) (attribute ?AGENT Living)) (exists (?ATTR) (and (instance ?ATTR ConsciousnessAttribute) (attribute ?AGENT ?ATTR)))) |
Merge.kif 18486-18493 | |
| (=> (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 12578-12593 |
| consequent |
|
|
| (=> (and (instance ?ATTR ConsciousnessAttribute) (attribute ?AGENT ?ATTR)) (and (instance ?AGENT SentientAgent) (attribute ?AGENT Living))) |
Merge.kif 18495-18501 | |
| (=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead)))) |
Merge.kif 12455-12461 | |
| (=> (and (instance ?ORGANISM Organism) (agent ?PROCESS ?ORGANISM)) (holdsDuring (WhenFn ?PROCESS) (attribute ?ORGANISM Living))) |
Merge.kif 18271-18275 | |
| (=> (and (instance ?VO VitalOrgan) (instance ?H Animal) (not (part ?VO ?H))) (not (attribute ?H Living))) |
Mid-level-ontology.kif 13168-13175 | |
| (=> (holdsDuring ?TIME (leader ?X ?Y)) (holdsDuring ?TIME (attribute ?Y Living))) |
Merge.kif 1628-1630 | |
| (=> (instance ?ATTR PsychologicalAttribute) (=> (and (holdsDuring ?TIME (attribute ?ORGANISM ?ATTR)) (instance ?ORGANISM Organism)) (holdsDuring ?TIME (attribute ?ORGANISM Living)))) |
Merge.kif 18457-18463 | |
| (=> (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 6589-6596 | |
| (=> (or (attribute ?AGENT Asleep) (attribute ?AGENT Awake)) (attribute ?AGENT Living)) |
Merge.kif 18531-18535 |
|
|
|