DeciduousTree - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint DeciduousTree EvergreenTree)	Geography.kif 6459-6459
(documentation DeciduousTree EnglishLanguage "DeciduousTrees shed their PlantLeaf(ves) annually.")	Geography.kif 6460-6461
(subclass DeciduousTree BotanicalTree)	Geography.kif 6458-6458

appearance as argument number 2

(subclass AspenTree DeciduousTree)	Geography.kif 6589-6589
(subclass BalsaTree DeciduousTree)	Geography.kif 6549-6549
(subclass BeechTree DeciduousTree)	Geography.kif 6554-6554
(subclass BirchTree DeciduousTree)	Geography.kif 6559-6559
(subclass BlackCherryTree DeciduousTree)	Geography.kif 6564-6564
(subclass CottonwoodTree DeciduousTree)	Geography.kif 6586-6586
(subclass MapleTree DeciduousTree)	Geography.kif 6573-6573
(subclass OkoumeTree DeciduousTree)	Geography.kif 6577-6577
(subclass PoplarTree DeciduousTree)	Geography.kif 6582-6582
(subclass RedOakTree DeciduousTree)	Geography.kif 6592-6592
(subclass SapeleTree DeciduousTree)	Geography.kif 6596-6596
(subclass SweetCherryTree DeciduousTree)	Geography.kif 6569-6569
(subclass WalnutTree DeciduousTree)	Geography.kif 6601-6601
(subclass WhiteOakTree DeciduousTree)	Geography.kif 6606-6606
(subclass WillowTree DeciduousTree)	Geography.kif 6611-6611
(termFormat EnglishLanguage DeciduousTree "deciduous tree")	domainEnglishFormat.kif 64744-64744

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 6463-6474

consequent

(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Hardwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S DeciduousTree) Likely))	Economy.kif 5625-5632
(=> (equal ?P (PlantFn Apple)) (subclass ?P DeciduousTree))	Food.kif 2191-2193