|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18394-18394 | The values returned by Making fn are subclasses of object |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6322-6322 | The values returned by measuring a process are subclasses of measuring |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6080-6080 | The values returned by minimal cut set are subclasses of graph path |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8663-8663 | The values returned by minute are subclasses of minute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8595-8595 | The values returned by month are subclasses of month |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1520-1520 | The values returned by network communication function are subclasses of network communication |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20488-20488 | The values returned by occupation are subclasses of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17884-17884 | The values returned by operating are subclasses of process |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5250-5250 | The values returned by organic object fn are subclasses of object |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 502-502 | The values returned by overseas area are subclasses of overseas area |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6350-6350 | The values returned by pain are subclasses of pain |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6323-6323 | The values returned by paralysis are subclasses of paralysis |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 770-770 | The values returned by perimeter area are subclasses of perimeter area |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14663-14663 | The values returned by periodical issue are subclasses of periodical |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3353-3353 | The values returned by plant fn are subclasses of plant |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 829-829 | The values returned by playing instrument fn are subclasses of instrumental music |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 798-798 | The values returned by power set are subclasses of set or class |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1360-1360 | The values returned by pressing key fn are subclasses of single key press |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8992-8992 | The values returned by quarter fn are subclasses of quarter year |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 185-185 | The values returned by receiving an object fn are subclasses of getting |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8468-8468 | The values returned by recurrent time interval are subclasses of time interval |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8690-8690 | The values returned by second are subclasses of second |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13512-13512 | The values returned by sense impairment are subclasses of pathologic process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13532-13532 | The values returned by no ability of are subclasses of pathologic process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14618-14618 | The values returned by series volume are subclasses of text |
| 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