OrganicObjectFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5253-5256
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5249-5249	OrganicObjectFn 的 1 数量是有机物体的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5247-5247	OrganicObjectFn 是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5250-5250	OrganicObjectFn 的所得值是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5248-5248	OrganicObjectFn 和 DeadFn 是内部相关

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5251-5251
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5252-5252

antecedent

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 4629-4634	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是咖啡豆的 subclass 和另一个有点客体是种子的 subclass，然后 %每个那个另外有点客体是 CoffeePlant 的 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 4945-4950	如果有点客体 equal OrganicObjectFn 有点有机物体和有点客体是 meat 的 subclass，然后有点有机物体是动物的 subclass
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 4532-4543	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 OilFromPlant 的 subclass 和另一个有点客体是种子的 subclass 或那个另外有点客体是水果的 subclass，然后有存在第三有点客体这样第三有点客体是开花植物的 subclass 和 %每个那个另外有点客体是那个第三有点客体的 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 5258-5265	如果有点客体 equal OrganicObjectFn 有点有机物体和有点客体是客体的 subclass，然后有点有机物体是生物的 subclass 或那个有点有机物体是解剖结构的 subclass
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.	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 5041-5046	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是小羊皮的 subclass 和另一个有点客体是皮肤的 subclass，然后 %每个那个另外有点客体是羔羊的 initially part
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.	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 5296-5301	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 BalsaWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 BalsaTree 的 initially part
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 5316-5321	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 BirchWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 BirchTree 的 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 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 5431-5436	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 FirWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 FirTree 的 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 5441-5446	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 LarchWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 LarchTree 的 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 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 5358-5363	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 PoplarWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 PoplarTree 的 initially part

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: