DeciduousTree - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint DeciduousTree EvergreenTree)	Geography.kif 6389-6389	DeciduousTree 和 % 2 是 disjoint
(documentation DeciduousTree EnglishLanguage "DeciduousTrees shed their PlantLeaf(ves) annually.")	Geography.kif 6390-6391
(subclass DeciduousTree BotanicalTree)	Geography.kif 6388-6388	DeciduousTree 是植物树的 subclass

appearance as argument number 2

(subclass AspenTree DeciduousTree)	Geography.kif 6519-6519	AspenTree 是 DeciduousTree 的 subclass
(subclass BalsaTree DeciduousTree)	Geography.kif 6479-6479	BalsaTree 是 DeciduousTree 的 subclass
(subclass BeechTree DeciduousTree)	Geography.kif 6484-6484	BeechTree 是 DeciduousTree 的 subclass
(subclass BirchTree DeciduousTree)	Geography.kif 6489-6489	BirchTree 是 DeciduousTree 的 subclass
(subclass BlackCherryTree DeciduousTree)	Geography.kif 6494-6494	BlackCherryTree 是 DeciduousTree 的 subclass
(subclass CottonwoodTree DeciduousTree)	Geography.kif 6516-6516	CottonwoodTree 是 DeciduousTree 的 subclass
(subclass MapleTree DeciduousTree)	Geography.kif 6503-6503	MapleTree 是 DeciduousTree 的 subclass
(subclass OkoumeTree DeciduousTree)	Geography.kif 6507-6507	奥古曼树是 DeciduousTree 的 subclass
(subclass PoplarTree DeciduousTree)	Geography.kif 6512-6512	PoplarTree 是 DeciduousTree 的 subclass
(subclass RedOakTree DeciduousTree)	Geography.kif 6522-6522	RedOakTree 是 DeciduousTree 的 subclass
(subclass SapeleTree DeciduousTree)	Geography.kif 6526-6526	SapeleTree 是 DeciduousTree 的 subclass
(subclass SweetCherryTree DeciduousTree)	Geography.kif 6499-6499	SweetCherryTree 是 DeciduousTree 的 subclass
(subclass WalnutTree DeciduousTree)	Geography.kif 6531-6531	WalnutTree 是 DeciduousTree 的 subclass
(subclass WhiteOakTree DeciduousTree)	Geography.kif 6536-6536	WhiteOakTree 是 DeciduousTree 的 subclass
(subclass WillowTree DeciduousTree)	Geography.kif 6541-6541	柳树是 DeciduousTree 的 subclass
(termFormat EnglishLanguage DeciduousTree "deciduous tree")	domainEnglishFormat.kif 64750-64750

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 6393-6404

如果 sheddingLeaves 植物 and PlantLeaf 和那个植物是 DeciduousTree 的 instance 和那个 PlantLeaf 是 PlantLeaf 的 instance，
然后有存在有点过程和另一个过程这样有点过程是移除的 subclass 和那个有点过程每年持续时间发生一次和那个另外过程是那个有点过程的 instance 和那个植物是那个另外过程的源头和那个 PlantLeaf 是那个另外过程的 patient

consequent

(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Hardwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S DeciduousTree) Likely))	Economy.kif 5284-5291	如果有点客体 equal OrganicObjectFn 有点有机物体和有点客体是 Hardwood 的 subclass 和有点有机物体是 PlantStem 的 subclass，然后 %每个那个有点有机物体是 DeciduousTree 的 initially part 的声明 has 容易的语气
(=> (equal ?P (PlantFn Apple)) (subclass ?P DeciduousTree))	Food.kif 2184-2186	如果有点植物 equal PlantFn 苹果，然后有点植物是 DeciduousTree 的 subclass

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: