| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32969-32972 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32968-32968 | 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 33116-33116 | ApproximateDiameter is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33145-33145 | Area is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33041-33041 | Circumference is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32975-32975 | Default measure is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33094-33094 | Diameter is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33252-33252 | Frequency is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33022-33022 | Height is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32984-32984 | Length is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33285-33285 | Transformer Capacity is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33167-33167 | Primary Voltage Rating is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33210-33210 | Secondary Voltage Rating is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33003-33003 | Width is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32973-32973 | Width is an instance of measurement attribute |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33309-33309 | 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 32944-32944 | 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