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 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 ApproximateDiameterMeasurementAttributeinstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31200-31200 AreaMeasurementAttributeinstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31105-31105 CircumfrenceMeasurementAttributeinstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31039-31039 DefaultMeasureMeasurementAttributeinstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31149-31149 DiameterMeasurementAttributeinstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31307-31307 FrequencyMeasurementAttributeinstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31086-31086 HeightMeasurementAttributeinstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31048-31048 长度MeasurementAttributeinstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31340-31340 TransformerCapacityMeasurementAttributeinstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31222-31222 VoltageRatingPrimaryMeasurementAttributeinstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31265-31265 VoltageRatingSecondaryMeasurementAttributeinstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31067-31067 WidthMeasurementAttributeinstance
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 数量 是 MeasurementAttributeinstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31008-31008 memberMeasure 的 2 数量 是 MeasurementAttributeinstance


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