SalineLock(saline lock) |
appearance as argument number 1 |
![]() |
(documentation SalineLock EnglishLanguage "A saline lock is a valve that is intended to be connected to an IVLine. It is pre_filled with a SalineSolution since that has a neutral effect (it is isotonic) on the Blood.") | Medicine.kif 1089-1091 | |
(subclass SalineLock MedicalDevice) | Medicine.kif 1088-1088 | Saline lock is a subclass of medical device |
(subclass SalineLock Valve) | Medicine.kif 1087-1087 | Saline lock is a subclass of valve |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage SalineLock "saline lock") | Medicine.kif 1092-1092 |
antecedent |
![]() |
(=> (instance ?SL SalineLock) (exists (?S) (and (instance ?S SalineSolution) (contains ?SL ?S)))) |
Medicine.kif 1094-1099 |
|
(=> (instance ?SL SalineLock) (hasPurpose ?SL (exists (?IVL) (and (instance ?IVL IVLine) (connected ?SL ?IVL))))) |
Medicine.kif 1101-1107 |
|
![]() |
![]() |