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 10817-10818
(subclass PlantLeaf Organ)	Mid-level-ontology.kif 10816-10816	Plant leaf is a subclass of organ
(subclass PlantLeaf PlantAnatomicalStructure)	Mid-level-ontology.kif 10815-10815	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 6508-6508

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 6618-6623	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 6463-6474	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 4576-4580	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 4551-4555	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 10908-10921

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: