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 Plant and PlantLeaf 例 Plant and DeciduousTree 例 PlantLeaf and PlantLeaf Process Process 子類 Process and Removing 頻率 Process and 年持續時間例 Process and Process 起源 Process and Plant 患者 Process and PlantLeaf
(=> (equal ?P (PlantFn Apple)) (subclass ?P DeciduousTree))	Food.kif 2184-2186	等於 Plant and PlantFn 蘋果子類 Plant and DeciduousTree
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Hardwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S DeciduousTree) Likely))	Economy.kif 5284-5291	等於 Object and OrganicObjectFn OrganicObject 子類 Object and Hardwood 子類 OrganicObject and PlantStem 模態屬性 %每個 OrganicObject 是 DeciduousTree 的 initially part and 容易
(subclass DeciduousTree BotanicalTree)	Geography.kif 6388-6388	子類 DeciduousTree and 植物樹
(subclass BalsaTree DeciduousTree)	Geography.kif 6479-6479	子類 BalsaTree and DeciduousTree
(subclass BeechTree DeciduousTree)	Geography.kif 6484-6484	子類 BeechTree and DeciduousTree
(subclass BirchTree DeciduousTree)	Geography.kif 6489-6489	子類 BirchTree and DeciduousTree
(subclass BlackCherryTree DeciduousTree)	Geography.kif 6494-6494	子類 BlackCherryTree and DeciduousTree
(subclass SweetCherryTree DeciduousTree)	Geography.kif 6499-6499	子類 SweetCherryTree and DeciduousTree
(subclass MapleTree DeciduousTree)	Geography.kif 6503-6503	子類 MapleTree and DeciduousTree
(subclass OkoumeTree DeciduousTree)	Geography.kif 6507-6507	子類奧古曼樹 and DeciduousTree
(subclass PoplarTree DeciduousTree)	Geography.kif 6512-6512	子類 PoplarTree and DeciduousTree
(subclass CottonwoodTree DeciduousTree)	Geography.kif 6516-6516	子類 CottonwoodTree and DeciduousTree
(subclass AspenTree DeciduousTree)	Geography.kif 6519-6519	子類 AspenTree and DeciduousTree
(subclass RedOakTree DeciduousTree)	Geography.kif 6522-6522	子類 RedOakTree and DeciduousTree
(subclass SapeleTree DeciduousTree)	Geography.kif 6526-6526	子類 SapeleTree and DeciduousTree
(subclass WalnutTree DeciduousTree)	Geography.kif 6531-6531	子類 WalnutTree and DeciduousTree
(subclass WhiteOakTree DeciduousTree)	Geography.kif 6536-6536	子類 WhiteOakTree and DeciduousTree
(subclass WillowTree DeciduousTree)	Geography.kif 6541-6541	子類柳樹 and DeciduousTree

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