| 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 18052-18053 | |
| (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 18051-18051 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Dead Living) | Merge.kif 18063-18063 | |
| (exhaustiveAttribute AnimacyAttribute Living Dead) | Merge.kif 18048-18048 | |
| (termFormat ChineseLanguage Living "活的") | domainEnglishFormat.kif 34793-34793 | |
| (termFormat ChineseTraditionalLanguage Living "活的") | domainEnglishFormat.kif 34792-34792 | |
| (termFormat EnglishLanguage Living "living") | domainEnglishFormat.kif 34791-34791 |
| antecedent |
|
|
| (=> (and (instance ?AGENT SentientAgent) (attribute ?AGENT Living)) (exists (?ATTR) (and (instance ?ATTR ConsciousnessAttribute) (attribute ?AGENT ?ATTR)))) |
Merge.kif 18269-18276 | |
| (=> (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 11219-11234 |
| consequent |
|
|
| (=> (and (instance ?ATTR ConsciousnessAttribute) (attribute ?AGENT ?ATTR)) (and (instance ?AGENT SentientAgent) (attribute ?AGENT Living))) |
Merge.kif 18278-18284 | |
| (=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead)))) |
Merge.kif 12275-12281 | |
| (=> (and (instance ?ORGANISM Organism) (agent ?PROCESS ?ORGANISM)) (holdsDuring (WhenFn ?PROCESS) (attribute ?ORGANISM Living))) |
Merge.kif 18055-18059 | |
| (=> (and (instance ?VO VitalOrgan) (instance ?H Animal) (not (part ?VO ?H))) (not (attribute ?H Living))) |
Mid-level-ontology.kif 11809-11816 | |
| (=> (holdsDuring ?TIME (leader ?X ?Y)) (holdsDuring ?TIME (attribute ?Y Living))) |
Merge.kif 1618-1620 | |
| (=> (instance ?ATTR PsychologicalAttribute) (=> (and (holdsDuring ?TIME (attribute ?ORGANISM ?ATTR)) (instance ?ORGANISM Organism)) (holdsDuring ?TIME (attribute ?ORGANISM Living)))) |
Merge.kif 18240-18246 | |
| (=> (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 6264-6271 | |
| (=> (or (attribute ?AGENT Asleep) (attribute ?AGENT Awake)) (attribute ?AGENT Living)) |
Merge.kif 18314-18318 |
|
|
|