(=>
(attribute ?H ChronicObstructivePulmonaryDisease)
(instance ?H
(ImpairmentFn Breathing))) |
Mid-level-ontology.kif 7105-7108 |
If COPD is an attribute of X, then X is an instance of impairment in breathing |
(=>
(and
(instance ?C Cricothyroidotomy)
(patient ?C ?O))
(hasPurpose ?C
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?C))
(exists (?B)
(and
(instance ?B
(ImpairmentFn Breathing))
(patient ?B ?O))))
(not
(holdsDuring
(ImmediateFutureFn
(WhenFn ?C))
(exists (?B)
(and
(instance ?B
(ImpairmentFn Breathing))
(patient ?B ?O)))))))) |
Medicine.kif 745-764 |
If X is an instance of cricothyrotomy and Y is a patient of X, then X has the purpose there exists Z such that Z is an instance of impairment in breathing, Y is a patient of Z holds during immediately before the time of existence of X, there doesn't exist Z such that Z is an instance of impairment in breathing, and Y is a patient of Z doesn't hold during immediately after the time of existence of X |
(=>
(holdsDuring ?T
(attribute ?H Pneumothorax))
(exists (?I)
(and
(instance ?I
(ImpairmentFn Breathing))
(patient ?I ?H)
(during ?T
(WhenFn ?I))))) |
Medicine.kif 791-800 |
If collapsed lung is an attribute of X holds during Y, then there exists Z such that Z is an instance of impairment in breathing, X is a patient of Z, and Y takes place during the time of existence of Z |
(=>
(holdsDuring ?T
(attribute ?H Insomnia))
(exists (?I)
(and
(instance ?I
(ImpairmentFn Sleeping))
(experiencer ?I ?H)
(equal ?T
(WhenFn ?I))))) |
Medicine.kif 2110-2119 |
If insomnia is an attribute of X holds during Y, then there exists Z such that Z is an instance of impairment in sleeping, X experiences Z, equal Y, and the time of existence of Z |
(=>
(attribute ?H Asthma)
(exists (?I)
(and
(instance ?I
(ImpairmentFn Breathing))
(experiencer ?I ?H)))) |
Medicine.kif 3448-3454 |
If asthma is an attribute of X, then there exists Y such that Y is an instance of impairment in breathing and X experiences Y |
(=>
(attribute ?H Dysautonomia)
(exists (?P)
(and
(experiencer ?P ?H)
(instance ?P
(ImpairmentFn AutonomicProcess))))) |
Medicine.kif 4268-4274 |
If dysautonomia is an attribute of X, then there exists Y such that X experiences Y and Y is an instance of impairment in autonomic process |
(=>
(instance ?A Anticoagulant)
(hasPurpose ?A
(exists (?M)
(and
(instance ?M Mammal)
(experiencer ?M
(ImpairmentFn Clotting)))))) |
Medicine.kif 4874-4881 |
If X is an instance of blood thinner, then X has the purpose there exists Y such that Y is an instance of mammal and impairment in coagulation experiences Y |
