|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1487-1487 | initialPart Forehead and Head |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4576-4576 | initialPart GroundnutOil and Groundnut |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11784-11784 | initialPart Hair and animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10816-10816 | initialPart HamstringMuscle and Leg |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 55-55 | initialPart HeadBone and Head |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1754-1754 | initialPart Jam and Fruit |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2596-2596 | initialPart Juice and fruit ou v�g�tal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10775-10775 | initialPart LatissimusDorsi and Torso |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1035-1035 | initialPart LegBone and Leg |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10845-10845 | initialPart LowerLeg and Leg |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4119-4119 | initialPart MaizeGrain and MaizeGrass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4145-4145 | initialPart MilletGrain and MilletGrass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2685-2685 | initialPart Mushroom and champignon |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4124-4124 | initialPart OatGrain and OatGrass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4563-4563 | initialPart OliveOil and Olive |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 832-832 | initialPart PalmBone and Hand |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10768-10768 | initialPart Pectoralis and Chest |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2297-2297 | initialPart PeelOrRind and fruit ou v�g�tal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4480-4480 | initialPart PineNut and PineTree |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11237-11237 | initialPart Rib and Chest |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1541-1541 | initialPart RiceFlour and RiceGrain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4115-4115 | initialPart RiceGrain and PaddyRice |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1535-1535 | initialPart RyeFlour and RyeGrain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4135-4135 | initialPart RyeGrain and RyeGrass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12310-12310 | initialPart SalivaryGland and Mouth |
| 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