| SalineSolution(saline solution) | | saline, saline_solution |
| appearance as argument number 1 |
|
|
| (subclass SalineSolution Solution) | Mid-level-ontology.kif 10017-10017 | Saline solution is a subclass of solution |
| (documentation SalineSolution EnglishLanguage "A Solution consisting of SodiumChloride and Water.") | Mid-level-ontology.kif 10018-10019 | Saline solution is a subclass of solution |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?SOLUTION SalineSolution) (part ?PART ?SOLUTION)) (or (instance ?PART SodiumChloride) (instance ?PART Water))) |
Mid-level-ontology.kif 10021-10027 | If X is an instance of saline solution and Y is a part of X, then Y is an instance of salt or Y is an instance of water |
| consequent |
|
|
| (=> (instance ?SL SalineLock) (exists (?S) (and (instance ?S SalineSolution) (contains ?SL ?S)))) |
Medicine.kif 1085-1090 | If X is an instance of saline lock, then there exists Y such that Y is an instance of saline solution and X contains Y |
|
|
|