No TPTP formula. May not be expressible in strict first order.	Merge.kif 15241-15243	如果 躯体性物体 是 腺 的 instance， 然后 EpithelialTissue 是 那个 躯体性物体 的材料
No TPTP formula. May not be expressible in strict first order.	engineering.kif 855-860	如果 躯体性物体 是 电阻元件 的 instance， 然后 有存在 有点 物质 这样 有点 物质 是 绝缘体物质 的 subclass 和 那个 有点 物质 是 那个 躯体性物体 的材料
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25188-25194	如果 自身连接物体 是 FabricIron 的 instance， 然后 有存在 躯体性物体 这样 那个 自身连接物体 的 bottom 是 那个 躯体性物体 和 金属 是 那个 躯体性物体 的材料 和 平面 是 那个 躯体性物体 的 attribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 2615-2617	如果 躯体性物体 是 Ketchup 的 instance， 然后 番茄 是 那个 躯体性物体 的材料
No TPTP formula. May not be expressible in strict first order.	Food.kif 1393-1397	如果 躯体性物体 是 Latte 的 instance， 然后 MilkFoam 是 那个 躯体性物体 的材料 和 Espresso 是 那个 躯体性物体 的材料
No TPTP formula. May not be expressible in strict first order.	Food.kif 2644-2646	如果 躯体性物体 是 Liqueur 的 instance， 然后 糖 是 那个 躯体性物体 的材料
No TPTP formula. May not be expressible in strict first order.	Food.kif 1423-1427	如果 躯体性物体 是 LongBlack 的 instance， 然后 Espresso 是 那个 躯体性物体 的材料 和 饮用水 是 那个 躯体性物体 的材料
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2467-2469	如果 躯体性物体 是 LeadAcidWetBattery 的 instance， 然后 化学酸 是 那个 躯体性物体 的材料
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2463-2465	如果 躯体性物体 是 LeadAcidWetBattery 的 instance， 然后 铅 是 那个 躯体性物体 的材料
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2471-2473	如果 躯体性物体 是 LeadAcidWetBattery 的 instance， 然后 PurifiedWater 是 那个 躯体性物体 的材料
No TPTP formula. May not be expressible in strict first order.	Food.kif 2664-2668	如果 躯体性物体 是 Mayonnaise 的 instance， 然后 油 是 那个 躯体性物体 的材料 和 EggYolk 是 那个 躯体性物体 的材料
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15253-15255	如果 实体 是 肌肉 的 instance， 然后 MuscleTissue 是 肌肉 的材料
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15266-15268	如果 躯体性物体 是 神经细胞 的 instance， 然后 NervousTissue 是 那个 躯体性物体 的材料
No TPTP formula. May not be expressible in strict first order.	Food.kif 2708-2710	如果 躯体性物体 是 Omelette 的 instance， 然后 蛋 是 那个 躯体性物体 的材料
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6186-6191	如果 躯体性物体 是 鸦片 的 instance， 然后 有存在 有点 物质 这样 有点 物质 是 Morphine 的 instance 和 那个 有点 物质 是 那个 躯体性物体 的材料
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1231-1239	如果 躯体性物体 是 躯体性物体 的 instance， 然后 有存在 有点 物质 和 另一个 有点 物质 这样 有点 物质 是 物质 的 subclass 和 另一个 有点 物质 是 物质 的 subclass 和 那个 有点 物质 是 那个 躯体性物体 的材料 和 那个 另外 有点 物质 是 那个 躯体性物体 的材料 和 那个 有点 物质 不 equal 那个 另外 有点 物质
No TPTP formula. May not be expressible in strict first order.	Media.kif 1139-1141	如果 躯体性物体 是 OpticalDisc 的 instance， 然后 塑料 是 那个 躯体性物体 的材料
No TPTP formula. May not be expressible in strict first order.	Media.kif 1143-1147	如果 躯体性物体 是 OpticalDisc 的 instance， 然后 金 是 那个 躯体性物体 的材料 或 铝 是 那个 躯体性物体 的材料
No TPTP formula. May not be expressible in strict first order.	Food.kif 2744-2746	如果 躯体性物体 是 Pasta 的 instance， 然后 WheatFlour 是 那个 躯体性物体 的材料
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6017-6036	如果 物理 是 刨床 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体,， ， 第三 实体,， ， 第四 实体,， ， 第五 实体， and 和 第六 实体 这样 那个 实体 是 切开 的 instance 和 那个 物理 是导致 那个 实体 的 instrument 和 那个 另外 实体 是 那个 实体 的 resource 和 那个 另外 实体 是 客体 的 instance 和 那个 另外 实体 是 木 的材料 和 那个 第三 实体 是 那个 实体 的 result 和 那个 第三 实体 是 客体 的 instance 和 木 是 那个 第三 实体 的材料 和 平面 是 那个 第三 实体 的 attribute 和 那个 第四 实体 是 UnitOfLength 的 instance 和 那个 另外 实体 的 height 是 那个 第五 实体 那个 第四 实体 和 那个 第三 实体 的 height 是 那个 第六 实体 那个 第四 实体 和 那个 第五 实体 是 greaterThan 那个 第六 实体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4730-4732	如果 躯体性物体 是 RoverV8Engine 的 instance， 然后 铝 是 那个 躯体性物体 的材料
No TPTP formula. May not be expressible in strict first order.	Food.kif 3444-3446	如果 躯体性物体 是 Sorbet 的 instance， 然后 饮用水 是 那个 躯体性物体 的材料
No TPTP formula. May not be expressible in strict first order.	Food.kif 3448-3450	如果 躯体性物体 是 Sorbet 的 instance， 然后 水果 是 那个 躯体性物体 的材料
No TPTP formula. May not be expressible in strict first order.	Food.kif 3452-3454	如果 躯体性物体 是 Sorbet 的 instance， 然后 糖 是 那个 躯体性物体 的材料
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3655-3657	如果 躯体性物体 是 串 的 instance， 然后 织品 是 那个 躯体性物体 的材料
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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