Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MeasurementAttribute
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 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 31203-31203 ApproximateDiameter e' uma instancia de MeasurementAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31232-31232 Area e' uma instancia de MeasurementAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31129-31129 Circumfrence e' uma instancia de MeasurementAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31063-31063 DefaultMeasure e' uma instancia de MeasurementAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31181-31181 Diameter e' uma instancia de MeasurementAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31339-31339 Frequency e' uma instancia de MeasurementAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31110-31110 Height e' uma instancia de MeasurementAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31072-31072 Length e' uma instancia de MeasurementAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31372-31372 TransformerCapacity e' uma instancia de MeasurementAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31254-31254 VoltageRatingPrimary e' uma instancia de MeasurementAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31297-31297 VoltageRatingSecondary e' uma instancia de MeasurementAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31091-31091 Width e' uma instancia de MeasurementAttribute
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 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 31032-31032 O argumento numero 2 de memberMeasure e' uma instancia de MeasurementAttribute


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners