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 est une sous-classe de attribut relationnel |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31171-31171 | ApproximateDiameter est une instance de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31200-31200 | Area est une instance de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31105-31105 | Circumfrence est une instance de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31039-31039 | DefaultMeasure est une instance de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31149-31149 | Diameter est une instance de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31307-31307 | Frequency est une instance de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31086-31086 | Height est une instance de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31048-31048 | Length est une instance de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31340-31340 | TransformerCapacity est une instance de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31222-31222 | VoltageRatingPrimary est une instance de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31265-31265 | VoltageRatingSecondary est une instance de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31067-31067 | Width est une instance 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 | Le nombre 2 argument de allowableValue est une instance de MeasurementAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31008-31008 | Le nombre 2 argument de memberMeasure est une instance de MeasurementAttribute |