DeciduousTree - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint DeciduousTree EvergreenTree)	Geography.kif 6389-6389	DeciduousTree と EvergreenTree は disjoint では %n
(documentation DeciduousTree EnglishLanguage "DeciduousTrees shed their PlantLeaf(ves) annually.")	Geography.kif 6390-6391
(subclass DeciduousTree BotanicalTree)	Geography.kif 6388-6388	DeciduousTree は BotanicalTree の subclass では %n

appearance as argument number 2

(subclass AspenTree DeciduousTree)	Geography.kif 6519-6519	AspenTree は DeciduousTree の subclass では %n
(subclass BalsaTree DeciduousTree)	Geography.kif 6479-6479	BalsaTree は DeciduousTree の subclass では %n
(subclass BeechTree DeciduousTree)	Geography.kif 6484-6484	BeechTree は DeciduousTree の subclass では %n
(subclass BirchTree DeciduousTree)	Geography.kif 6489-6489	BirchTree は DeciduousTree の subclass では %n
(subclass BlackCherryTree DeciduousTree)	Geography.kif 6494-6494	BlackCherryTree は DeciduousTree の subclass では %n
(subclass CottonwoodTree DeciduousTree)	Geography.kif 6516-6516	CottonwoodTree は DeciduousTree の subclass では %n
(subclass MapleTree DeciduousTree)	Geography.kif 6503-6503	MapleTree は DeciduousTree の subclass では %n
(subclass OkoumeTree DeciduousTree)	Geography.kif 6507-6507	OkoumeTree は DeciduousTree の subclass では %n
(subclass PoplarTree DeciduousTree)	Geography.kif 6512-6512	PoplarTree は DeciduousTree の subclass では %n
(subclass RedOakTree DeciduousTree)	Geography.kif 6522-6522	RedOakTree は DeciduousTree の subclass では %n
(subclass SapeleTree DeciduousTree)	Geography.kif 6526-6526	SapeleTree は DeciduousTree の subclass では %n
(subclass SweetCherryTree DeciduousTree)	Geography.kif 6499-6499	SweetCherryTree は DeciduousTree の subclass では %n
(subclass WalnutTree DeciduousTree)	Geography.kif 6531-6531	WalnutTree は DeciduousTree の subclass では %n
(subclass WhiteOakTree DeciduousTree)	Geography.kif 6536-6536	WhiteOakTree は DeciduousTree の subclass では %n
(subclass WillowTree DeciduousTree)	Geography.kif 6541-6541	WillowTree は DeciduousTree の subclass では %n
(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 では %n PlantLeaf は PlantLeaf の instance では %n
工程工程工程は除却の subclass では %n 工程は YearDuration ごとに occurs %n{ない} 工程は工程の instance では %n 工程は植物から originates %n{ない} PlantLeaf は工程の patient では %n

consequent

(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Hardwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S DeciduousTree) Likely))	Economy.kif 5284-5291	オブジェクトは OrganicObjectFn 有機物と equal では %n オブジェクトは Hardwood の subclass では %n 有機物は PlantStem の subclass では %n ステートメント initialPart 有機物 and DeciduousTree には Likely の modal force がある
(=> (equal ?P (PlantFn Apple)) (subclass ?P DeciduousTree))	Food.kif 2184-2186	植物は PlantFn Apple と equal では %n 植物は DeciduousTree の subclass では %n

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: