Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Living(living)
|  | abidance, abide, accommodate, afterlife, alive, aliveness, animateness, animation, be, bide, bivouac, bivouacking, board, breathe, camp, camp_out, camping, cohabit, cohabitation, concubinage, consist, domicile, domiciliate, dwell, encamp, encampment, endurance, eternal_life, exist, habitation, hereafter, immortality, indwell, infest, inhabit, inhabitancy, inhabitation, kick_about, kick_around, kingdom_come, knock_about, lie, lie_in, life, life_eternal, live, live_together, liveness, living, lodge... |
| appearance as argument number 1 |
|
|
| s__instance(s__Living,s__AnimacyAttribute)
|
Merge.kif 18421-18421 | Living is an instance of animacy attribute |
| s__documentation(s__Living, s__EnglishLanguage, "This Attribute applies to Organisms that are alive_") | Merge.kif 18422-18423 | Living is an instance of animacy attribute |
| s__externalImage(s__Living,"http: //upload.wikimedia.org/wikipedia/commons/c/cd/Animal_diversity_October_2007.jpg")
|
pictureList.kif 2974-2974 | Living is an instance of animacy attribute |
| s__externalImage(s__Living,"http: //upload.wikimedia.org/wikipedia/commons/d/d5/Animalia_diversity.jpg")
|
pictureList.kif 3154-3154 | Living is an instance of animacy attribute |
| s__externalImage(s__Living,"http: //upload.wikimedia.org/wikipedia/commons/5/5f/Plants_diversity.jpg")
|
pictureList.kif 3155-3155 | Living is an instance of animacy attribute |
| appearance as argument number 2 |
|
|
| s__exhaustiveAttribute(s__AnimacyAttribute,s__Living,s__Dead)
|
Merge.kif 18418-18418 | Living are all the attributes of animacy attribute |
| s__contraryAttribute(s__Dead,s__Living)
|
Merge.kif 18433-18433 | Dead is the opposite of living |
| s__termFormat(s__EnglishLanguage, s__Living, "living") | domainEnglishFormat.kif 34789-34789 | Dead is the opposite of living |
| s__termFormat(s__ChineseTraditionalLanguage, s__Living, "活的") | domainEnglishFormat.kif 34790-34790 | Dead is the opposite of living |
| s__termFormat(s__ChineseLanguage, s__Living, "活的") | domainEnglishFormat.kif 34791-34791 | Dead is the opposite of living |
| antecedent |
|
|
| consequent |
|
|
| ! [V__TIME : $i,V__X : $i,V__Y : $i] : ((s__holdsDuring(V__TIME, s__leader(V__X, V__Y)) => s__holdsDuring(V__TIME, s__attribute(V__Y, s__Living)))) | Merge.kif 1711-1713 | If X is a leader of Y holds during Z, then living is an attribute of X holds during Z |
| ! [V__KILL : $i,V__PATIENT : $i] : (((s__instance(V__KILL, s__Killing) & s__patient(V__KILL, V__PATIENT)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__KILL)), s__attribute(V__PATIENT, s__Living)) & s__holdsDuring(s__FutureFn(s__WhenFn(V__KILL)), s__attribute(V__PATIENT, s__Dead))))) | Merge.kif 12591-12597 | If X is an instance of killing and Y is a patient of X, then living is an attribute of Y holds during the beginning of the time of existence of X and dead is an attribute of Y holds during after the time of existence of X |
| ! [V__ORGANISM : $i,V__PROCESS : $i] : (((s__instance(V__ORGANISM, s__Organism) & s__agent(V__PROCESS, V__ORGANISM)) => s__holdsDuring(s__WhenFn(V__PROCESS), s__attribute(V__ORGANISM, s__Living)))) | Merge.kif 18425-18429 | If X is an instance of organism and X is an agent of Y, then living is an attribute of X holds during the time of existence of Y |
| ! [V__ATTR : $i,V__ORGANISM : $i,V__TIME : $i] : ((s__instance(V__ATTR, s__PsychologicalAttribute) => ((s__holdsDuring(V__TIME, s__attribute(V__ORGANISM, V__ATTR)) & s__instance(V__ORGANISM, s__Organism)) => s__holdsDuring(V__TIME, s__attribute(V__ORGANISM, s__Living))))) | Merge.kif 18611-18617 | Assuming X is an instance of psychological attribute, it follows that: if X is an attribute of Y holds during Z and Y is an instance of organism, then living is an attribute of Y holds during Z |
| ! [V__AGENT,V__ATTR] : ((s__instance(V__AGENT,s__Object) => ((s__instance(V__ATTR,s__ConsciousnessAttribute) & s__attribute(V__AGENT,V__ATTR)) => (s__instance(V__AGENT,s__SentientAgent) & s__attribute(V__AGENT,s__Living)))) )
|
Merge.kif 18656-18662 | If X is an instance of consciousness attribute and X is an attribute of Y, then Y is an instance of sentient agent and living is an attribute of Y |
| ! [V__AGENT] : ((s__instance(V__AGENT,s__Object) => ((s__attribute(V__AGENT,s__Asleep) | s__attribute(V__AGENT,s__Awake)) => s__attribute(V__AGENT,s__Living))) )
|
Merge.kif 18692-18696 | If asleep is an attribute of X or awake is an attribute of X, then living is an attribute of X |
| ! [V__ORG : $i] : ((s__instance(V__ORG, s__Organism) => s__holdsDuring(s__WhenFn(V__ORG), s__attribute(V__ORG, s__Living)))) | Mid-level-ontology.kif 83-86 | If X is an instance of organism, then living is an attribute of X holds during the time of existence of X |
| ! [V__VO,V__H] : (((s__instance(V__VO,s__VitalOrgan) & s__instance(V__H,s__Animal) & ~(s__part(V__VO,V__H))) => ~(s__attribute(V__H,s__Living))) )
|
Mid-level-ontology.kif 13337-13344 | If X is an instance of vital organ, Y is an instance of animal, and X is not a part of Y, then living is not an attribute of Y |
| ! [V__P : $i] : ((s__instance(V__P, s__Succulent) => s__modalAttribute(( ? [V__D:$i] : ((s__instance(V__D, s__Drought) & s__experiencer(V__D, V__P) & s__attribute(V__P, s__Living)))), s__Likely))) | Geography.kif 7886-7893 | If X is an instance of succulent, then the statement there exists Y such that Y is an instance of drought, X experiences Y, and living is an attribute of X has the modal force of likely |
|