TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Organelle CorpuscularObject)	Mid-level-ontology.kif 11563-11563	Organelle is a subclass of corpuscular object
(subclass Organelle OrganicObject)	Mid-level-ontology.kif 11564-11564	Organelle is a subclass of organic object
(documentation Organelle EnglishLanguage "In cell biology, an organelle is a specialized subunit, usually within a cell, that has a specific function. The name organelle comes from the idea that these structures are parts of cells, as organs are to the body, hence organelle, the suffix -elle being a diminutive. Organelles are either separately enclosed within their own LipidBilayer (also called membrane-bound organelles) or are spatially distinct functional units without a surrounding lipid bilayer (non-membrane bound organelles). Although most organelles are functional units within cells, some functional units that extend outside of cells are often termed organelles, such as cilia, the flagellum and archaellum, and the trichocyst. [from Wikipedia]")	Mid-level-ontology.kif 11565-11576	Organelle is a subclass of organic object

appearance as argument number 2

(termFormat EnglishLanguage Organelle "organelle")	Mid-level-ontology.kif 11577-11577
(subclass Mitochondrion Organelle)	Mid-level-ontology.kif 11586-11586	Mitochondria is a subclass of organelle

antecedent

(=>
    (instance ?O Organelle)
    (exists (?C)
        (and
            (instance ?C Cell)
            (part ?O ?C))))

If X is an instance of organelle, then there exists Y such that Y is an instance of cell and X is a part of Y