(=>
(holdsDuring ?T
(and
(attribute ?H SleepApnea)
(attribute ?H Sleeping)))
(exists (?T2 ?B ?B2)
(and
(during ?T2 ?T)
(not
(exists (?B)
(and
(instance ?B Breathing)
(during
(WhenFn ?B) ?T2)
(experiencer ?B ?H))))
(holdsDuring ?T2
(and
(instance ?B2 Breathing)
(needs ?H ?B2)))))) |
Medicine.kif 4198-4215 |
If sleep apnea is an attribute of X and sleeping is an attribute of X holds during Y, then All of the following hold: (1) there exist Z, W (2) V such that Z takes place during Y (3) there doesn't exist W such that W is an instance of breathing (4) the time of existence of W takes place during Z (5) X experiences W (6) V is an instance of breathing (7) X needs V holds during Z |
(=>
(instance ?OT OrganTransplant)
(exists (?H ?O)
(and
(instance ?H Animal)
(instance ?O Organ)
(needs ?H ?O)))) |
Medicine.kif 4655-4661 |
If X is an instance of transplant, then there exist Y, Z such that Y is an instance of animal, Z is an instance of organ, and Y needs Z |
(=>
(attribute ?H Anorexia)
(exists (?E)
(and
(instance ?E Eating)
(agent ?E ?H)
(needs ?H ?E)
(not
(wants ?H ?E))))) |
Medicine.kif 5058-5066 |
If anorexia nervosa is an attribute of X, then there exists Y such that Y is an instance of eating, X is an agent of Y, X needs Y, and X doesn't want Y |
