Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| cellShape |
| appearance as argument number 1 |
|
| (instance cellShape BinaryPredicate) | VirusProteinAndCellPart.kif 385-385 | cell shape is an instance of binary predicate |
| (subrelation cellShape shape) | VirusProteinAndCellPart.kif 386-386 | cell shape is a subrelation of shape |
| (domain cellShape 1 Cell) | VirusProteinAndCellPart.kif 387-387 | The number 1 argument of cell shape is an instance of cell |
| (domain cellShape 2 ShapeAttribute) | VirusProteinAndCellPart.kif 388-388 | The number 2 argument of cell shape is an instance of shape attribute |
| (documentation cellShape EnglishLanguage "Bacteria (Bacterium) and Archaea (ArchaelCell) are classified by direct examination with the light microscope according to their morphology and arrangement. The basic morphologies are Spheres (coccus) and round_ended or rod_shaped Cylinders (bacillus). But there may be others such as helically twisted cylinders (spirochetes), cylinders curved in one plane (selenomonads) and unusual morphologies (such as the square, flat box_shaped cells of the archaean genus Haloquadratum). Arrangements include pairs, tetrads, clusters, chains and palisades. [from Wikipedia]") | VirusProteinAndCellPart.kif 391-399 | The number 2 argument of cell shape is an instance of shape attribute |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage cellShape "%1 cells are shaped like a %2") | VirusProteinAndCellPart.kif 389-389 | |
| (termFormat EnglishLanguage cellShape "cell shape") | domainEnglishFormat.kif 65800-65800 |
| consequent |
|
|
| (=> (instance ?E EscherichiaColi) (cellShape ?E Cylinder)) |
Medicine.kif 5508-5510 | If X is an instance of E. coli, then X cells are shaped like a cylinder |
| (=> (instance ?C Cell) (modalAttribute (or (cellShape ?C Sphere) (cellShape ?C Cylinder)) Likely)) |
VirusProteinAndCellPart.kif 401-406 | If X is an instance of cell, then the statement X cells are shaped like a sphere or X cells are shaped like a cylinder has the modal force of likely |
|