PlantLeaf - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - PlantLeaf

PlantLeaf

abruptly-pinnate_leaf, acerate_leaf, acuminate_leaf, amplexicaul_leaf, bijugate_leaf, bijugous_leaf, bipinnate_leaf, blade, bract, bracteole, bractlet, cataphyll, compound_leaf, cordate_leaf, crenate_leaf, cuneate_leaf, decompound_leaf, deltoid_leaf, dentate_leaf, denticulate_leaf, elliptic_leaf, elongate_leaf, emarginate_leaf, ensiform_leaf, entire_leaf, erose_leaf, even-pinnate_leaf, fig_leaf, flowering_glume, foliage, frond, glume, hastate_leaf, involucre, lanceolate_leaf, leaf, leaf_blade, leafage, lemma, ligule, lily_pad, linear_leaf, lobe, lobed_leaf, lyrate_leaf, needle, oblanceolate_leaf, oblong_leaf, obovate_leaf, obtuse_leaf...

appearance as argument number 1

(documentation PlantLeaf EnglishLanguage "An Organ of Plants whose main purpose is photosynthesis.")	Mid-level-ontology.kif 9070-9071
(subclass PlantLeaf Organ)	Mid-level-ontology.kif 9069-9069	PlantLeaf is a subclass of organ
(subclass PlantLeaf PlantAnatomicalStructure)	Mid-level-ontology.kif 9068-9068	PlantLeaf is a subclass of plant anatomical structure

consequent

(=>
    (and
        (instance ?P Plant)
        (part ?TIS ?P))
    (exists (?K ?W)
        (and
            (instance ?K Keeping)
            (instance ?W Water)
            (patient ?K ?W)
            (capability ?K instrument ?TIS)
            (or
                (instance ?TIS PlantLeaf)
                (instance ?TIS PlantStem)))))

Mid-level-ontology.kif 9162-9174

If an object is an instance of plant and another object is a part of the object,
then there exist a kind of process and an entity such that a kind of process is an instance of keeping and the entity is an instance of water and the entity is a patient of the kind of process and the other object is capable of doing the kind of process as a instrument and the other object is an instance of PlantLeaf or the other object is an instance of PlantStem

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