| SalineSolution(生理鹽水) | |
| appearance as argument number 1 |
|
|
| (documentation SalineSolution EnglishLanguage "A Solution consisting of SodiumChloride and Water.") | Mid-level-ontology.kif 9977-9978 | |
| (subclass SalineSolution Solution) | Mid-level-ontology.kif 9976-9976 | 子類 生理鹽水 and Solution |
| appearance as argument number 2 |
|
|
| (subclass BrackishWater SalineSolution) | Geography.kif 3006-3006 | 子類 BrackishWater and 生理鹽水 |
| (subclass Brine SalineSolution) | Geography.kif 3026-3026 | 子類 Brine and 生理鹽水 |
| (subclass SeaWater SalineSolution) | Geography.kif 2979-2979 | 子類 SeaWater and 生理鹽水 |
| (subclass TearSubstance SalineSolution) | Mid-level-ontology.kif 13688-13688 | 子類 淚液 and 生理鹽水 |
| (termFormat ChineseLanguage SalineSolution "生理盐水") | domainEnglishFormat.kif 50941-50941 | 子類 淚液 and 生理鹽水 |
| (termFormat ChineseTraditionalLanguage SalineSolution "生理鹽水") | domainEnglishFormat.kif 50940-50940 | 子類 淚液 and 生理鹽水 |
| (termFormat EnglishLanguage SalineSolution "saline solution") | domainEnglishFormat.kif 50939-50939 | 子類 淚液 and 生理鹽水 |
| antecedent |
|
|
| (=> (and (instance ?SOLUTION SalineSolution) (part ?PART ?SOLUTION)) (or (instance ?PART SodiumChloride) (instance ?PART Water))) |
Mid-level-ontology.kif 9980-9986 |
| consequent |
|
|
| (=> (instance ?SL SalineLock) (exists (?S) (and (instance ?S SalineSolution) (contains ?SL ?S)))) |
Medicine.kif 1098-1103 |
|
|
|
|