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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CompositeUnitOfMeasure

Sigma KEE - CompositeUnitOfMeasure
CompositeUnitOfMeasure(composite unit of measure)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2397-2399
No TPTP formula. May not be expressible in strict first order. Merge.kif 6210-6213
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1078-1080
No TPTP formula. May not be expressible in strict first order. Merge.kif 6208-6208 Composite unit of measure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6207-6207 Composite unit of measure is a subclass of unit of measure

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6720-6720 Ampere is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7040-7040 Becquerel is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 238-238 Bits per second is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7349-7349 British thermal unit is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7341-7341 Calorie is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6759-6759 Candela is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6912-6912 Coulomb is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7155-7155 Electron volt is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6937-6937 Farad is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7054-7054 Gray is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6990-6990 Henry is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6898-6898 Horsepower is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 254-254 Instructions per second is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6879-6879 Joule is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Economy.kif 2000-2000 Kilowatt hour is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3924-3924 Knot unit of speed is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7018-7018 Lumen is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7028-7028 Lux is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. WMD.kif 812-812 Micrograms per kilogram is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Weather.kif 1700-1700 Miles per hour is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6861-6861 Newton is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6948-6948 Ohm is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 246-246 Packets per second is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6870-6870 Pascal is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7329-7329 Pound force is an instance of composite unit of measure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13536-13545
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13566-13575
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13577-13586
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13505-13514
No TPTP formula. May not be expressible in strict first order. Merge.kif 6455-6459
No TPTP formula. May not be expressible in strict first order. Merge.kif 6225-6229
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1718-1736

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6455-6459


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

Show without tree


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