| 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 18216-18217 | |
| (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 18215-18215 | Living は 有生性属性 の instance では %n |
| appearance as argument number 2 |
|
|
| (contraryAttribute Dead Living) | Merge.kif 18227-18227 | Dead は Living の disjoint では %n |
| (exhaustiveAttribute AnimacyAttribute Living Dead) | Merge.kif 18212-18212 | exhaustiveAttribute 有生性属性, Living and Dead |
| (termFormat ChineseLanguage Living "活的") | domainEnglishFormat.kif 34815-34815 | exhaustiveAttribute 有生性属性, Living and Dead |
| (termFormat ChineseTraditionalLanguage Living "活的") | domainEnglishFormat.kif 34814-34814 | exhaustiveAttribute 有生性属性, Living and Dead |
| (termFormat EnglishLanguage Living "living") | domainEnglishFormat.kif 34813-34813 | exhaustiveAttribute 有生性属性, Living and Dead |
| antecedent |
|
|
| (=> (and (instance ?AGENT SentientAgent) (attribute ?AGENT Living)) (exists (?ATTR) (and (instance ?ATTR ConsciousnessAttribute) (attribute ?AGENT ?ATTR)))) |
Merge.kif 18433-18440 | |
| (=> (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 12596-12611 |
|
| consequent |
|
|
| (=> (and (instance ?ATTR ConsciousnessAttribute) (attribute ?AGENT ?ATTR)) (and (instance ?AGENT SentientAgent) (attribute ?AGENT Living))) |
Merge.kif 18442-18448 | |
| (=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead)))) |
Merge.kif 12410-12416 | |
| (=> (and (instance ?ORGANISM Organism) (agent ?PROCESS ?ORGANISM)) (holdsDuring (WhenFn ?PROCESS) (attribute ?ORGANISM Living))) |
Merge.kif 18219-18223 |
|
| (=> (and (instance ?VO VitalOrgan) (instance ?H Animal) (not (part ?VO ?H))) (not (attribute ?H Living))) |
Mid-level-ontology.kif 13186-13193 | |
| (=> (holdsDuring ?TIME (leader ?X ?Y)) (holdsDuring ?TIME (attribute ?Y Living))) |
Merge.kif 1611-1613 | |
| (=> (instance ?ATTR PsychologicalAttribute) (=> (and (holdsDuring ?TIME (attribute ?ORGANISM ?ATTR)) (instance ?ORGANISM Organism)) (holdsDuring ?TIME (attribute ?ORGANISM Living)))) |
Merge.kif 18404-18410 | |
| (=> (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 6355-6362 | |
| (=> (or (attribute ?AGENT Asleep) (attribute ?AGENT Awake)) (attribute ?AGENT Living)) |
Merge.kif 18478-18482 |
|
|
|