Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5051-5056	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是羊皮的 subclass 和另一个有点客体是皮肤的 subclass，然后 %每个那个另外有点客体是羊的 initially part
No TPTP formula. May not be expressible in strict first order.	Food.kif 2906-2914	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 Suet 的 subclass 和另一个有点客体是脂肪组织的 subclass，然后 %每个那个另外有点客体是牛的 initially part 或 %每个那个另外有点客体是羊的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4693-4699	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是可可豆的 subclass 和另一个有点客体是种子的 subclass，然后 %每个那个另外有点客体是可可樹的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4715-4721	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是茶树空中部分的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 TeaPlant 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5338-5343	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 MapleWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 MapleTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5032-5036	如果有点客体 equal OrganicObjectFn 有点有机物体和有点客体是毛皮的 subclass，然后有点有机物体是皮肤的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5306-5311	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 BeechWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 BeechTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5326-5333	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 CherryWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 BlackCherryTree 的 initially part 或 %每个那个另外有点客体是 SweetCherryTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5284-5291	如果有点客体 equal OrganicObjectFn 有点有机物体和有点客体是 Hardwood 的 subclass 和有点有机物体是 PlantStem 的 subclass，然后 %每个那个有点有机物体是 DeciduousTree 的 initially part 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4166-4172	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 Malt 的 subclass 和另一个有点客体是谷物的 subclass，然后 %每个那个另外有点客体是谷物草的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5358-5363	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 PoplarWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 PoplarTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5388-5393	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 WalnutWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 WalnutTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Food.kif 2876-2882	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 AnimalFat 的 subclass 和另一个有点客体是脂肪组织的 subclass，然后 %每个那个另外有点客体是动物的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5316-5321	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 BirchWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 BirchTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5348-5353	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 OkoumeWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是奥古曼树的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5461-5466	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 PineWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是松树的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5368-5373	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 RedOakWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 RedOakTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5267-5276	如果有点客体 equal OrganicObjectFn 有点有机物体和有点客体是客体的 subclass，然后有存在另一个客体和第三客体这样那个另外客体是一个 dead 有点有机物体的 instance 和那个另外客体是那个第三客体的 part 和那个第三客体是那个有点有机物体的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5296-5301	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 BalsaWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 BalsaTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5378-5383	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 SapeleWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 SapeleTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5409-5416	如果有点客体 equal OrganicObjectFn 有点有机物体和有点客体是 Softwood 的 subclass 和有点有机物体是 PlantStem 的 subclass，然后 %每个那个有点有机物体是 Conifers 的 initially part 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5431-5436	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 FirWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 FirTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4945-4950	如果有点客体 equal OrganicObjectFn 有点有机物体和有点客体是 meat 的 subclass，然后有点有机物体是动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5041-5046	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是小羊皮的 subclass 和另一个有点客体是皮肤的 subclass，然后 %每个那个另外有点客体是羔羊的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5421-5426	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 CedarWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 CedarTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5441-5446	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 LarchWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 LarchTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5451-5456	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 SpruceWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 SpruceTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5235-5244	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 WoodProduct 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后有存在第三有点客体这样第三有点客体是植物树的 subclass 和 %每个那个另外有点客体是那个第三有点客体的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4532-4543	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 OilFromPlant 的 subclass 和另一个有点客体是种子的 subclass 或那个另外有点客体是水果的 subclass，然后有存在第三有点客体这样第三有点客体是开花植物的 subclass 和 %每个那个另外有点客体是那个第三有点客体的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5398-5403	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 WhiteOakWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 WhiteOakTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5258-5265	如果有点客体 equal OrganicObjectFn 有点有机物体和有点客体是客体的 subclass，然后有点有机物体是生物的 subclass 或那个有点有机物体是解剖结构的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4629-4634	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是咖啡豆的 subclass 和另一个有点客体是种子的 subclass，然后 %每个那个另外有点客体是 CoffeePlant 的 initially part

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