Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| mixturePartType |
| appearance as argument number 1 |
|
| (instance mixturePartType BinaryPredicate) | Medicine.kif 5883-5883 | mixture part is an instance of binary predicate |
| (domainSubclass mixturePartType 1 Substance) | Medicine.kif 5885-5885 | The number 1 argument of mixture part is a subclass of substance |
| (domainSubclass mixturePartType 2 Mixture) | Medicine.kif 5886-5886 | The number 2 argument of mixture part is a subclass of mixture |
| (documentation mixturePartType EnglishLanguage "The relation states that the given class of Substance is part of the given class of Mixture.") | Medicine.kif 5887-5888 | The number 2 argument of mixture part is a subclass of mixture |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage mixturePartType "mixture part") | Medicine.kif 5884-5884 | |
| (format EnglishLanguage mixturePartType "%1 is a part of the mixture %2") | Medicine.kif 5889-5889 |
| appearance as argument number 0 |
|
|
| (mixturePartType SodiumChloride RingersLactate) | Medicine.kif 5912-5912 | Salt is a part of the mixture Hartmann's solution |
| (mixturePartType CalciumChloride RingersLactate) | Medicine.kif 5913-5913 | Calcium chloride is a part of the mixture Hartmann's solution |
| (mixturePartType PotassiumChloride RingersLactate) | Medicine.kif 5914-5914 | Potassium chloride is a part of the mixture Hartmann's solution |
| (mixturePartType SodiumLactate RingersLactate) | Medicine.kif 5915-5915 | Sodium lactate is a part of the mixture Hartmann's solution |
| (mixturePartType Water SodiumLactate) | Medicine.kif 5916-5916 | Water is a part of the mixture sodium lactate |
|