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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cell

Sigma KEE - Cell
Cell

appearance as argument number 1
-------------------------


(documentation Cell ChineseLanguage "这是有生命 Organism 基本的结构单位和功能部分。") chinese_format.kif 3518-3518
(documentation Cell EnglishLanguage "The fundamental structural and functional unit of living Organisms.") Merge.kif 14463-14464
(externalImage Cell "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 83/ Celltypes.svg/ 300px-Celltypes.svg.png") pictureList.kif 1069-1069
(subclass Cell BodyPart) Merge.kif 14462-14462

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


(subclass BloodCell Cell) Mid-level-ontology.kif 9591-9591
(subclass EukaryoticCell Cell) VirusProteinAndCellPart.kif 329-329
(subclass Gamete Cell) Mid-level-ontology.kif 23232-23232
(subclass NerveCell Cell) Mid-level-ontology.kif 10129-10129
(subclass ProkaryoticCell Cell) VirusProteinAndCellPart.kif 339-339
(subclass Zygote Cell) Mid-level-ontology.kif 23261-23261
(termFormat ChineseLanguage Cell "细胞") chinese_format.kif 1022-1022
(termFormat EnglishLanguage Cell "cell") english_format.kif 1256-1256

appearance as argument number 3
-------------------------


(domain CellPartFn 1 Cell) VirusProteinAndCellPart.kif 655-655
(domainSubclass 1 cellShape Cell) VirusProteinAndCellPart.kif 353-353

antecedent
-------------------------


(=>
    (instance ?C Cell)
    (modalAttribute
        (or
            (cellShape ?C Sphere)
            (cellShape ?C Cylinder)) Likely))
VirusProteinAndCellPart.kif 367-373
(=>
    (instance ?CELL Cell)
    (exists (?ENVELOPE)
        (and
            (instance ?ENVELOPE CellEnvelope)
            (part ?ENVELOPE ?CELL))))
VirusProteinAndCellPart.kif 557-562

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


(=>
    (and
        (instance ?VIRUS Virus)
        (instance ?PROC Replication)
        (agent ?PROC ?VIRUS))
    (exists (?CELL)
        (and
            (located ?PROC ?CELL)
            (instance ?CELL Cell))))
Merge.kif 13850-13858
(=>
    (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 13819-13830
(=>
    (instance ?MEMBRANE CellMembraneInternal)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (interiorPart ?MEMBRANE ?CELL))))
VirusProteinAndCellPart.kif 435-440
(=>
    (instance ?NUCLEUS CellNucleus)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (part ?NUCLEUS ?CELL))))
Mid-level-ontology.kif 10268-10273
(=>
    (instance ?O Organelle)
    (exists (?C)
        (and
            (instance ?C Cell)
            (part ?O ?C))))
Mid-level-ontology.kif 9573-9578
(=>
    (instance ?OBJ1 CellPart)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (properPart ?OBJ1 ?CELL))))
Mid-level-ontology.kif 10255-10260
(=>
    (instance ?PART AnatomicalStructure)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (part ?CELL ?PART))))
Merge.kif 14286-14291
(=>
    (instance ?STUFF Tissue)
    (exists (?PART)
        (and
            (instance ?PART Cell)
            (part ?PART ?STUFF))))
Merge.kif 14490-14495
(=>
    (instance ?W CellWall)
    (exists (?CELL ?SURF)
        (and
            (instance ?CELL Cell)
            (part ?W ?CELL)
            (surface ?SURF ?CELL)
            (part ?SURF ?W))))
VirusProteinAndCellPart.kif 422-429


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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