|
|
   MeasurementAttribute
|
|
|
| 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 | 子類 MeasurementAttribute and RelationalAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31171-31171 | 例 ApproximateDiameter and MeasurementAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31200-31200 | 例 Area and MeasurementAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31105-31105 | 例 Circumfrence and MeasurementAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31039-31039 | 例 DefaultMeasure and MeasurementAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31149-31149 | 例 Diameter and MeasurementAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31307-31307 | 例 Frequency and MeasurementAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31086-31086 | 例 Height and MeasurementAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31048-31048 | 例 長度 and MeasurementAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31340-31340 | 例 TransformerCapacity and MeasurementAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31222-31222 | 例 VoltageRatingPrimary and MeasurementAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31265-31265 | 例 VoltageRatingSecondary and MeasurementAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31067-31067 | 例 Width and MeasurementAttribute |
| 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 | 域 allowableValue, 2 and MeasurementAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31008-31008 | 域 memberMeasure, 2 and MeasurementAttribute |
|
|
|