|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18372-18372 | 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 8641-8641 | The values returned by minute are subclasses of minute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8573-8573 | 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 20489-20489 | 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 17885-17885 | 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 6351-6351 | The values returned by pain are subclasses of pain |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6324-6324 | 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 14664-14664 | 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 8970-8970 | 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 8446-8446 | 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 8668-8668 | The values returned by second are subclasses of second |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13490-13490 | The values returned by sense impairment are subclasses of pathologic process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13510-13510 | 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 14619-14619 | 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