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 e' uma sub-classe de Atributo Relacional |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31171-31171 | ApproximateDiameter e' uma instancia de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31200-31200 | Area e' uma instancia de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31105-31105 | Circumfrence e' uma instancia de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31039-31039 | DefaultMeasure e' uma instancia de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31149-31149 | Diameter e' uma instancia de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31307-31307 | Frequency e' uma instancia de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31086-31086 | Height e' uma instancia de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31048-31048 | Length e' uma instancia de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31340-31340 | TransformerCapacity e' uma instancia de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31222-31222 | VoltageRatingPrimary e' uma instancia de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31265-31265 | VoltageRatingSecondary e' uma instancia de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31067-31067 | Width e' uma instancia de 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 | O argumento numero 2 de allowableValue e' uma instancia de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31008-31008 | O argumento numero 2 de memberMeasure e' uma instancia de MeasurementAttribute |