|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1487-1487 | %每个 Forehead 是 头 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4576-4576 | %每个 GroundnutOil 是 花生 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11784-11784 | %每个 头发 是 动物 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10816-10816 | %每个 HamstringMuscle 是 腿 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 55-55 | %每个 HeadBone 是 头 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1754-1754 | %每个 Jam 是 水果 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2596-2596 | %每个 Juice 是 水果或蔬菜 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10775-10775 | %每个 LatissimusDorsi 是 躯干 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1035-1035 | %每个 LegBone 是 腿 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10845-10845 | %每个 LowerLeg 是 腿 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4119-4119 | %每个 玉米粒 是 MaizeGrass 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4145-4145 | %每个 小米粒 是 MilletGrass 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2685-2685 | %每个 Mushroom 是 菌类 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4124-4124 | %每个 燕麦粒 是 OatGrass 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4563-4563 | %每个 橄榄油 是 橄榄 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 832-832 | %每个 PalmBone 是 手 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10768-10768 | %每个 Pectoralis 是 Chest 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2297-2297 | %每个 PeelOrRind 是 水果或蔬菜 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4480-4480 | %每个 PineNut 是 松树 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11237-11237 | %每个 Rib 是 Chest 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1541-1541 | %每个 RiceFlour 是 米粒 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4115-4115 | %每个 米粒 是 水稻 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1535-1535 | %每个 RyeFlour 是 黑麦谷物 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4135-4135 | %每个 黑麦谷物 是 RyeGrass 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12310-12310 | %每个 SalivaryGland 是 口 的 initially part |
| 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