| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31033-31036 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31032-31032 | Measurement attribute is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31171-31171 | ApproximateDiameter is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31200-31200 | Area is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31105-31105 | Circumfrence is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31039-31039 | Default measure is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31149-31149 | Diameter is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31307-31307 | Frequency is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31086-31086 | Height is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31048-31048 | Length is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31340-31340 | Transformer Capacity is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31222-31222 | Primary Voltage Rating is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31265-31265 | Secondary Voltage Rating is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31067-31067 | Width is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31037-31037 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31364-31364 | The number 2 argument of allowable value is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31008-31008 | The number 2 argument of member measure is an instance of measurement attribute |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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