| appearance as argument number 1 |
|
|
| (subclass Bacterium Microorganism) | Merge.kif 14630-14630 | Bacterium is a subclass of microorganism |
| (documentation Bacterium EnglishLanguage "A small, typically one_celled, prokaryotic Microorganism.") | Merge.kif 14631-14632 | Bacterium is a subclass of microorganism |
| (externalImage Bacterium "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ Cholera_bacteria_SEM.jpg") | pictureList.kif 942-942 | Bacterium is a subclass of microorganism |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?BACTERIUM Bacterium) (exists (?CELL1) (and (component ?CELL1 ?BACTERIUM) (instance ?CELL1 Cell) (forall (?CELL2) (=> (and (component ?CELL2 ?BACTERIUM) (instance ?CELL2 Cell)) (equal ?CELL1 ?CELL2)))))) |
Merge.kif 14634-14645 | If X is an instance of bacterium, then there exists Y such that Y is a component of X, Y is an instance of cell, Z Z is a component of X, Z is an instance of cellequal Y, and Z |
| (=> (and (instance ?BACTERIUM Bacterium) (inhabits ?BACTERIUM ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 14647-14651 | If X is an instance of bacterium and X lives in Y, then Y is an instance of organism |
| (=> (instance ?BACTERIUM Bacterium) (exists (?NUMBER) (and (width ?BACTERIUM (MeasureFn ?NUMBER Meter)) (greaterThanOrEqualTo ?NUMBER 0.000001) (lessThanOrEqualTo ?NUMBER 0.000002)))) |
WMD.kif 205-211 | If X is an instance of bacterium, then there exists Y such that the width of X is Y meter(s) and Y is greater than or equal to 0.000001 and Y is less than or equal to 0.000002 |
| consequent |
|
|
| (=> (attribute ?H Pyelonephritis) (modalAttribute (exists (?B ?K) (and (instance ?B Bacterium) (instance ?K Kidney) (part ?K ?H) (located ?B ?K))) Likely)) |
Medicine.kif 5048-5057 | If urosepsis is an attribute of X, then the statement there exist Y, Z such that Y is an instance of bacterium, Z is an instance of kidney, Z is a part of X, and Y is located at Z has the modal force of likely |
| (=> (instance ?G GramStaining) (exists (?B) (and (instance ?B Bacterium) (patient ?G ?B)))) |
Medicine.kif 5346-5351 | 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 |
| (=> (instance ?T Toothbrush) (hasPurpose ?T (exists (?K ?B ?TOOTH) (and (instance ?TOOTH Tooth) (instrument ?K ?T) (instance ?K Killing) (instance ?B Bacterium) (patient ?K ?B) (patient ?K ?TOOTH))))) |
Mid-level-ontology.kif 2707-2717 | If X is an instance of toothbrush, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of tooth (3) X is an instrument for Y (4) Y is an instance of killing (5) Z is an instance of bacterium (6) Z is a patient of Y (7) W is a patient of Y |
| (=> (instance ?ANTIBIOTIC Antibiotic) (exists (?KILL ?BACTERIUM) (capability (KappaFn ?KILL (and (instance ?KILL Killing) (patient ?KILL ?BACTERIUM) (instance ?BACTERIUM Bacterium))) agent ?ANTIBIOTIC))) |
WMD.kif 1264-1272 | If X is an instance of antibiotic, then there exist Y and Z such that X is capable of doing the class described by Y as a agent |
|
|
|