| SalineSolution(saline solution) | | saline, saline_solution |
| appearance as argument number 1 |
|
|
| (documentation SalineSolution EnglishLanguage "A Solution consisting of SodiumChloride and Water.") | Mid-level-ontology.kif 8989-8990 | |
| (subclass SalineSolution Solution) | Mid-level-ontology.kif 8988-8988 | Saline solution is a subclass of solution |
| appearance as argument number 2 |
|
|
| (subclass BrackishWater SalineSolution) | Geography.kif 2848-2848 | Brackish water is a subclass of saline solution |
| (subclass Brine SalineSolution) | Geography.kif 2868-2868 | Brine is a subclass of saline solution |
| (subclass SeaWater SalineSolution) | Geography.kif 2821-2821 | Sea water is a subclass of saline solution |
| (subclass TearSubstance SalineSolution) | Mid-level-ontology.kif 12575-12575 | Tear substance is a subclass of saline solution |
| (termFormat ChineseLanguage SalineSolution "生理盐水") | domainEnglishFormat.kif 50977-50977 | Tear substance is a subclass of saline solution |
| (termFormat ChineseTraditionalLanguage SalineSolution "生理鹽水") | domainEnglishFormat.kif 50976-50976 | Tear substance is a subclass of saline solution |
| (termFormat EnglishLanguage SalineSolution "saline solution") | domainEnglishFormat.kif 50975-50975 | Tear substance is a subclass of saline solution |
| antecedent |
|
|
| (=> (and (instance ?SOLUTION SalineSolution) (part ?PART ?SOLUTION)) (or (instance ?PART SodiumChloride) (instance ?PART Water))) |
Mid-level-ontology.kif 8992-8998 |
|
| consequent |
|
|
| (=> (instance ?SL SalineLock) (exists (?S) (and (instance ?S SalineSolution) (contains ?SL ?S)))) |
Medicine.kif 1106-1111 |
|
|
|
|