PlantLeaf - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PlantLeaf EnglishLanguage "An Organ of Plants whose main purpose is photosynthesis.")	Mid-level-ontology.kif 10366-10367
(subclass PlantLeaf Organ)	Mid-level-ontology.kif 10365-10365	Plant leaf is a subclass of organ
(subclass PlantLeaf PlantAnatomicalStructure)	Mid-level-ontology.kif 10364-10364	Plant leaf is a subclass of plant anatomical structure

appearance as argument number 2

(termFormat EnglishLanguage PlantLeaf "plant leaf")

domainEnglishFormat.kif 65347-65347

appearance as argument number 3

(domain sheddingLeaves 2 PlantLeaf)

Geography.kif 6506-6506

The number 2 argument of shedding leaves is an instance of plant leaf

antecedent

(=> (and (instance ?T EvergreenTree) (instance ?L PlantLeaf)) (not (sheddingLeaves ?T ?L)))	Geography.kif 6616-6621	If a plant is an instance of evergreen tree and a plant leaf is an instance of plant leaf, then not the plant is a Removing the plant leaf from its stems
(=> (and (sheddingLeaves ?T ?L) (instance ?T DeciduousTree) (instance ?L PlantLeaf)) (exists (?SHED ?S) (and (subclass ?SHED Removing) (frequency ?SHED YearDuration) (instance ?S ?SHED) (origin ?S ?T) (patient ?S ?L))))	Geography.kif 6461-6472	If a plant is a Removing a plant leaf from its stems and the plant is an instance of deciduous tree and the plant leaf is an instance of plant leaf, then there exist a kind of process and another process such that a kind of process is a subclass of removing and the kind of process occurs every year duration and the other process is an instance of the kind of process and the other process originates at the plant and the plant leaf is a patient of the other process
(=> (and (subclass ?CLASS PlantLeaf) (equal ?CLASS Cabbage)) (initialPart ?CLASS CabbagePlant))	Economy.kif 4449-4453	If a kind of object is a subclass of plant leaf and a kind of object is equal to cabbage, then every the kind of object is initially part of a cabbage plant
(=> (and (subclass ?CLASS PlantLeaf) (equal ?CLASS LeafyGreenVegetable)) (initialPart ?CLASS Plant))	Economy.kif 4424-4428	If a kind of object is a subclass of plant leaf and a kind of object is equal to leafy green vegetable, then every the kind of object is initially part of a plant

consequent

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

Mid-level-ontology.kif 10457-10470

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

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

KB Term:			Term intersection

English Word: