Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4277-4281	如果有点客体是水果的 subclass 和有点客体 equal 茄子，然后 %每个那个有点客体是 EggplantPlant 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4223-4227	如果有点客体是水果的 subclass 和有点客体 equal 黄瓜，然后 %每个那个有点客体是 CucumberPlant 的 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.	Food.kif 2175-2175	水果是水果或蔬菜的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2179-2179	苹果是水果的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2188-2188	日期水果是水果的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2193-2193	梨果是水果的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2198-2198	浆果是水果的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2281-2281	鳄梨是水果的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2286-2286	番茄是水果的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2288-2288	葡萄是水果的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2290-2290	瓜是水果的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2294-2294	橄榄是水果的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2325-2325	柑橘类水果是水果的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2364-2364	热带水果是水果的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2758-2758	Peach 是水果的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 3481-3481	Strawberry 是水果的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 3487-3487	TamarindFruit 是水果的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4730-4730	酿酒葡萄是水果的 subclass

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