(=>
(and
(instance ?G GainingConsciousness)
(experiencer ?G ?A))
(and
(holdsDuring
(BeginFn
(WhenFn ?G))
(attribute ?A Unconscious))
(holdsDuring
(EndFn
(WhenFn ?G))
(attribute ?A Awake)))) |
Mid-level-ontology.kif 18079-18091 |
If X is an instance of gaining consciousness and Y experiences X, then unconscious is an attribute of Y holds during the beginning of the time of existence of X and awake is an attribute of Y holds during the end of the time of existence of X |
(=>
(and
(instance ?L LosingConsciousness)
(experiencer ?L ?A))
(and
(holdsDuring
(BeginFn
(WhenFn ?L))
(attribute ?A Awake))
(holdsDuring
(EndFn
(WhenFn ?L))
(attribute ?A Unconscious)))) |
Mid-level-ontology.kif 18098-18108 |
If X is an instance of losing consciousness and Y experiences X, then awake is an attribute of Y holds during the beginning of the time of existence of X and unconscious is an attribute of Y holds during the end of the time of existence of X |
(=>
(instance ?NA NasopharyngealAirway)
(hasPurpose ?NA
(exists (?H ?B)
(and
(instance ?B Breathing)
(located ?B ?H)
(holdsDuring
(WhenFn ?B)
(attribute ?H Unconscious))
(path ?B ?NA))))) |
Medicine.kif 708-718 |
If X is an instance of nose hose, then X has the purpose there exist Y, Z such that Z is an instance of breathing, Z is located at Y, unconscious is an attribute of Y holds during the time of existence of Z, and X is path along which Z occurs |
(=>
(and
(instance ?A Anesthetizing)
(patient ?A ?P))
(holdsDuring
(WhenFn ?A)
(or
(attribute ?P Unconscious)
(not
(attribute ?P Pain))))) |
Medicine.kif 929-938 |
If X is an instance of anesthetizing and Y is a patient of X, then unconscious is an attribute of Y or pain is not an attribute of Y holds during the time of existence of X |
(=>
(and
(instance ?A Anesthetizing)
(patient ?A ?P))
(holdsDuring
(WhenFn ?A)
(and
(attribute ?P Unconscious)
(not
(attribute ?P Pain))))) |
Medicine.kif 946-955 |
If X is an instance of anesthetizing and Y is a patient of X, then unconscious is an attribute of Y and pain is not an attribute of Y holds during the time of existence of X |
(=>
(and
(not
(holdsDuring ?T1
(attribute ?H Concussion)))
(holdsDuring ?T2
(attribute ?H Concussion))
(meetsTemporally ?T1 ?T2))
(modalAttribute
(holdsDuring
(BeginFn ?T2)
(attribute ?H Unconscious)) Likely)) |
Medicine.kif 1295-1307 |
If mild traumatic brain injury is not an attribute of X doesn't hold during Y, mild traumatic brain injury is an attribute of X holds during Z, and Y meets Z, then the statement unconscious is an attribute of X holds during the beginning of Z has the modal force of likely |
(=>
(holdsDuring ?T
(attribute ?H AVPUUnresponsiveStatus))
(holdsDuring ?T
(attribute ?H Unconscious))) |
Medicine.kif 6538-6542 |
If AVPU unconscious status is an attribute of X holds during Y, then unconscious is an attribute of X holds during Y |
