Sigma KB Term Intersection

(=> (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
(=> (equal ?P (PlantFn Apple)) (subclass ?P DeciduousTree))	Food.kif 2184-2186	植物は PlantFn Apple と equal では %n 植物は DeciduousTree の subclass では %n
(=> (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 がある
(subclass DeciduousTree BotanicalTree)	Geography.kif 6388-6388	DeciduousTree は BotanicalTree の 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 SweetCherryTree DeciduousTree)	Geography.kif 6499-6499	SweetCherryTree は 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 CottonwoodTree DeciduousTree)	Geography.kif 6516-6516	CottonwoodTree は DeciduousTree の subclass では %n
(subclass AspenTree DeciduousTree)	Geography.kif 6519-6519	AspenTree は 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 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

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