| appearance as argument number 1 |
|
| (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 413-421 | |
| (domain cellShape 1 Cell) | VirusProteinAndCellPart.kif 409-409 | The number 1 argument of cell shape is an instance of cell |
| (domain cellShape 2 ShapeAttribute) | VirusProteinAndCellPart.kif 410-410 | The number 2 argument of cell shape is an instance of shape attribute |
| (instance cellShape BinaryPredicate) | VirusProteinAndCellPart.kif 407-407 | cell shape is an instance of binary predicate |
| (subrelation cellShape shape) | VirusProteinAndCellPart.kif 408-408 | cell shape is a subrelation of shape |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage cellShape "%1 cells are shaped like a %2") | VirusProteinAndCellPart.kif 411-411 | |
| (termFormat EnglishLanguage cellShape "cell shape") | domainEnglishFormat.kif 65820-65820 |
| consequent |
|
|
| (=> (instance ?C Cell) (modalAttribute (or (cellShape ?C Sphere) (cellShape ?C Cylinder)) Likely)) |
VirusProteinAndCellPart.kif 423-428 | |
| (=> (instance ?E EscherichiaColi) (cellShape ?E Cylinder)) |
Medicine.kif 5495-5497 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners