![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
DeonticAttribute
|
|
|
| consequent |
|
|
| (=> (holdsDuring ?T (and (oxygenSaturation ?H ?N) (lessThan ?N 92.0))) (holdsDuring ?T (attribute ?H Hypoxia))) |
Medicine.kif 1221-1227 | If the oxygen saturation of X is Y percent and Y is less than 92.0 holds during Z, then Hypoxia is an attribute of X holds during Z |