DeciduousTree - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint DeciduousTree EvergreenTree)	Geography.kif 6364-6364	Deciduous tree is disjoint from evergreen tree
(documentation DeciduousTree EnglishLanguage "DeciduousTrees shed their PlantLeaf(ves) annually.")	Geography.kif 6365-6366	Deciduous tree is disjoint from evergreen tree
(subclass DeciduousTree BotanicalTree)	Geography.kif 6363-6363	Deciduous tree is a subclass of botanical tree

appearance as argument number 2

(subclass AspenTree DeciduousTree)	Geography.kif 6494-6494	Aspen tree is a subclass of deciduous tree
(subclass BalsaTree DeciduousTree)	Geography.kif 6454-6454	Balsa tree is a subclass of deciduous tree
(subclass BeechTree DeciduousTree)	Geography.kif 6459-6459	Beech tree is a subclass of deciduous tree
(subclass BirchTree DeciduousTree)	Geography.kif 6464-6464	Birch tree is a subclass of deciduous tree
(subclass BlackCherryTree DeciduousTree)	Geography.kif 6469-6469	Black cherry tree is a subclass of deciduous tree
(subclass CottonwoodTree DeciduousTree)	Geography.kif 6491-6491	Cottonwood tree is a subclass of deciduous tree
(subclass MapleTree DeciduousTree)	Geography.kif 6478-6478	Maple tree is a subclass of deciduous tree
(subclass OkoumeTree DeciduousTree)	Geography.kif 6482-6482	Okoume tree is a subclass of deciduous tree
(subclass PoplarTree DeciduousTree)	Geography.kif 6487-6487	Poplar tree is a subclass of deciduous tree
(subclass RedOakTree DeciduousTree)	Geography.kif 6497-6497	Red oak tree is a subclass of deciduous tree
(subclass SapeleTree DeciduousTree)	Geography.kif 6501-6501	Sapele tree is a subclass of deciduous tree
(subclass SweetCherryTree DeciduousTree)	Geography.kif 6474-6474	Sweet cherry tree is a subclass of deciduous tree
(subclass WalnutTree DeciduousTree)	Geography.kif 6506-6506	Walnut tree is a subclass of deciduous tree
(subclass WhiteOakTree DeciduousTree)	Geography.kif 6511-6511	White oak tree is a subclass of deciduous tree
(subclass WillowTree DeciduousTree)	Geography.kif 6516-6516	Willow tree is a subclass of deciduous tree
(termFormat EnglishLanguage DeciduousTree "deciduous tree")	domainEnglishFormat.kif 64770-64770	Willow tree is a subclass of deciduous tree

antecedent

(=>
    (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 6368-6379

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

consequent

(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Hardwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S DeciduousTree) Likely))	Economy.kif 5399-5406	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of hardwood and a kind of organic object is a subclass of plant stem, then the statement every the kind of organic object is initially part of a deciduous tree has the modal force of likely
(=> (equal ?P (PlantFn Apple)) (subclass ?P DeciduousTree))	Food.kif 2184-2186	If a kind of plant is equal to plant fn apple, then a kind of plant is a subclass of deciduous tree

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: