|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1523-1523 | Every semolina flour is initially part of a durum wheat grain |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10808-10808 | Every tibialis anterior is initially part of a leg |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 216-216 | Every shoulder girdle bone is initially part of a shoulder |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2101-2101 | Every shrapnel is initially part of a bomb |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4140-4140 | Every sorghum grain is initially part of a sorghum grass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4566-4566 | Every soy bean oil is initially part of a soybean |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1530-1530 | Every Spelt flour is initially part of a spelt wheat grain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4572-4572 | Every sunflower oil is initially part of a sunflower |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1553-1553 | Every tapioca starch is initially part of a cassava |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4549-4549 | Every tea tree oil is initially part of a tea tree |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10793-10793 | Every quadriceps is initially part of a leg |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 249-249 | Every thorax bone is initially part of a torso |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10788-10788 | Every tricep is initially part of a arm |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10835-10835 | Every upper arm is initially part of a arm |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10840-10840 | Every upper leg is initially part of a leg |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 793-793 | Every vocal cords is initially part of a human |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 804-804 | Every vocal fold is initially part of a vocal cords |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1490-1490 | Every wheat flour is initially part of a wheat grain |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 744-744 | Every wrist bone is initially part of a hand |
|
|
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