Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - cellShape
cellShape

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 357-365
(domain cellShape 2 ShapeAttribute) VirusProteinAndCellPart.kif 354-354 The number 2 argument of cellShape is an instance of shape attribute
(domainSubclass cellShape 1 Cell) VirusProteinAndCellPart.kif 353-353 The number 1 argument of cellShape is a subclass of cell
(subclass cellShape BinaryPredicate) VirusProteinAndCellPart.kif 351-351 cellShape is a subclass of binary predicate
(subrelation cellShape shape) VirusProteinAndCellPart.kif 352-352 cellShape is a subrelation of shape

appearance as argument number 2
-------------------------


(format EnglishLanguage cellShape "%1 cells are shaped like a %2") VirusProteinAndCellPart.kif 355-355

consequent
-------------------------


(=>
    (instance ?C Cell)
    (modalAttribute
        (or
            (cellShape ?C Sphere)
            (cellShape ?C Cylinder)) Likely))
VirusProteinAndCellPart.kif 367-373


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