No TPTP formula. May not be expressible in strict first order.	Economy.kif 5368-5373	等於 Object and OrganicObjectFn Object 子類 Object and RedOakWood 子類 Object and PlantStem %每個 Object 是 RedOakTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5378-5383	等於 Object and OrganicObjectFn Object 子類 Object and SapeleWood 子類 Object and PlantStem %每個 Object 是 SapeleTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5409-5416	等於 Object and OrganicObjectFn OrganicObject 子類 Object and Softwood 子類 OrganicObject and PlantStem 模態屬性 %每個 OrganicObject 是 Conifers 的 initially part and 容易
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5451-5456	等於 Object and OrganicObjectFn Object 子類 Object and SpruceWood 子類 Object and PlantStem %每個 Object 是 SpruceTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5388-5393	等於 Object and OrganicObjectFn Object 子類 Object and WalnutWood 子類 Object and PlantStem %每個 Object 是 WalnutTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5398-5403	等於 Object and OrganicObjectFn Object 子類 Object and WhiteOakWood 子類 Object and PlantStem %每個 Object 是 WhiteOakTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5235-5244	等於 Object and OrganicObjectFn Object 子類 Object and WoodProduct 子類 Object and PlantStem Object 子類 Object and 植物樹 %每個 Object 是 Object 的 initially part
No TPTP formula. May not be expressible in strict first order.	Food.kif 1508-1510	例 Entity and OrganicObjectFn CommonWheatGrain 例 Entity and CommonWheatFlour
No TPTP formula. May not be expressible in strict first order.	Food.kif 1499-1501	例 Entity and OrganicObjectFn 小麥籽粒 例 Entity and WheatFlour

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