SalineSolution
|
|
appearance as argument number 1 |
(documentation SalineSolution EnglishLanguage "A Solution consisting of SodiumChloride and Water.") | Mid-level-ontology.kif 8798-8799 | |
(subclass SalineSolution Solution) | Mid-level-ontology.kif 8797-8797 | SalineSolution は 溶液 の subclass では %n |
appearance as argument number 2 |
(subclass BrackishWater SalineSolution) | Geography.kif 2848-2848 | BrackishWater は SalineSolution の subclass では %n |
(subclass Brine SalineSolution) | Geography.kif 2868-2868 | Brine は SalineSolution の subclass では %n |
(subclass SeaWater SalineSolution) | Geography.kif 2821-2821 | SeaWater は SalineSolution の subclass では %n |
(subclass TearSubstance SalineSolution) | Mid-level-ontology.kif 12384-12384 | TearSubstance は SalineSolution の subclass では %n |
(termFormat ChineseLanguage SalineSolution "生理盐水") | domainEnglishFormat.kif 50939-50939 | |
(termFormat ChineseTraditionalLanguage SalineSolution "生理鹽水") | domainEnglishFormat.kif 50938-50938 | |
(termFormat EnglishLanguage SalineSolution "saline solution") | domainEnglishFormat.kif 50937-50937 |
antecedent |
(=> (and (instance ?SOLUTION SalineSolution) (part ?PART ?SOLUTION)) (or (instance ?PART SodiumChloride) (instance ?PART Water))) |
Mid-level-ontology.kif 8801-8807 |
consequent |
(=> (instance ?SL SalineLock) (exists (?S) (and (instance ?S SalineSolution) (contains ?SL ?S)))) |
Medicine.kif 1106-1111 |
|