Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   GramStaining
|
|
|
| appearance as argument number 1 |
|
|
| (subclass GramStaining Coloring) | Medicine.kif 5364-5364 | Gram stain is a subclass of coloring |
| (subclass GramStaining Investigating) | Medicine.kif 5365-5365 | Gram stain is a subclass of investigating |
| (documentation GramStaining EnglishLanguage "Gram stain or Gram staining, also called Gram's method, is a method of staining used to distinguish and classify bacterial species (Bacterium) into two large groups: GramPositive bacteria and GramNegative bacteria. Gram staining differentiates bacteria by the chemical and physical properties of their cell walls. Gram-positive cells have a thick layer of peptidoglycan in the cell wall that retains the primary stain, crystal violet. Gram-negative cells have a thinner peptidoglycan layer that allows the crystal violet to wash out on addition of Ethanol. They are stained pink or red by the counterstain commonly safranin or fuchsine. Lugol's iodine solution is always added after addition of crystal violet to strengthen the bonds of the stain with the cell membrane. [from Wikipedia]") | Medicine.kif 5367-5379 | Gram stain is a subclass of investigating |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GramStaining "Gram staining") | Medicine.kif 5381-5381 | |
| (termFormat EnglishLanguage GramStaining "Gram stain") | Medicine.kif 5382-5382 |
| antecedent |
|
|
| (=> (instance ?G GramStaining) (exists (?B) (and (instance ?B Bacterium) (patient ?G ?B)))) |
Medicine.kif 5384-5389 | If X is an instance of Gram stain, then there exists Y such that Y is an instance of bacterium and Y is a patient of X |
| (=> (and (instance ?G GramStaining) (agent ?G ?H) (patient ?G ?B)) (hasPurpose ?G (knows ?H (exists (?S) (and (instance ?S GramStainAttribute) (attribute ?B ?S)))))) |
Medicine.kif 5391-5401 | If X is an instance of Gram stain, Y is an agent of X, and Z is a patient of X, then X has the purpose Y knows there exists W such that W is an instance of Gram stain and W is an attribute of Z |
|