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 是 关联属性 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31171-31171 | ApproximateDiameter 是 MeasurementAttribute 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31200-31200 | Area 是 MeasurementAttribute 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31105-31105 | Circumfrence 是 MeasurementAttribute 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31039-31039 | DefaultMeasure 是 MeasurementAttribute 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31149-31149 | Diameter 是 MeasurementAttribute 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31307-31307 | Frequency 是 MeasurementAttribute 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31086-31086 | Height 是 MeasurementAttribute 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31048-31048 | 长度 是 MeasurementAttribute 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31340-31340 | TransformerCapacity 是 MeasurementAttribute 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31222-31222 | VoltageRatingPrimary 是 MeasurementAttribute 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31265-31265 | VoltageRatingSecondary 是 MeasurementAttribute 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31067-31067 | Width 是 MeasurementAttribute 的 instance |
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 数量 是 MeasurementAttribute 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31008-31008 | memberMeasure 的 2 数量 是 MeasurementAttribute 的 instance |