|
|
   MeasurementAttribute
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31057-31060 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31056-31056 | 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 31203-31203 | ApproximateDiameter is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31232-31232 | Area is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31129-31129 | Circumfrence is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31063-31063 | Default measure is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31181-31181 | Diameter is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31339-31339 | Frequency is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31110-31110 | Height is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31072-31072 | Length is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31372-31372 | Transformer Capacity is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31254-31254 | Primary Voltage Rating is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31297-31297 | Secondary Voltage Rating is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31091-31091 | Width is an instance of measurement attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31061-31061 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31396-31396 | 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 31032-31032 | The number 2 argument of member measure is an instance of measurement attribute |
|
|
|