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 9688-9689
(subclass PlantLeaf Organ)	Mid-level-ontology.kif 9687-9687	Plant leaf is a subclass of organ
(subclass PlantLeaf PlantAnatomicalStructure)	Mid-level-ontology.kif 9686-9686	Plant leaf is a subclass of plant anatomical structure

appearance as argument number 2

(termFormat EnglishLanguage PlantLeaf "plant leaf")

domainEnglishFormat.kif 65349-65349

appearance as argument number 3

(domain sheddingLeaves 2 PlantLeaf)

Geography.kif 6438-6438

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 6548-6553	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 6393-6404	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 4354-4358	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 4329-4333	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 9779-9792

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: