|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1487-1487 | Every forehead is initially part of a head |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4576-4576 | Every ground nut oil is initially part of a groundnut |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11784-11784 | Every hair is initially part of a animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10816-10816 | Every hamstring muscle is initially part of a leg |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 55-55 | Every head bone is initially part of a head |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1754-1754 | Every jam is initially part of a fruit |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2596-2596 | Every juice is initially part of a fruit or vegetable |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10775-10775 | Every upper back muscle is initially part of a torso |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1035-1035 | Every leg bone is initially part of a leg |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10845-10845 | Every lower leg is initially part of a leg |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4119-4119 | Every maize grain is initially part of a maize grass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4145-4145 | Every millet grain is initially part of a millet grass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2685-2685 | Every mushroom is initially part of a fungus |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4124-4124 | Every oat grain is initially part of a oat grass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4563-4563 | Every olive oil is initially part of a olive |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 832-832 | Every palm bone is initially part of a hand |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10768-10768 | Every chest muscle is initially part of a chest |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2297-2297 | Every peel or rind is initially part of a fruit or vegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4480-4480 | Every pine nut is initially part of a pine tree |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11237-11237 | Every Rib is initially part of a chest |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1541-1541 | Every rice flour is initially part of a rice grain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4115-4115 | Every rice grain is initially part of a paddy rice |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1535-1535 | Every rye flour is initially part of a rye grain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4135-4135 | Every rye grain is initially part of a rye grass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12310-12310 | Every salivary gland is initially part of a 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