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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CompositeUnitOfMeasure

Sigma KEE - CompositeUnitOfMeasure
CompositeUnitOfMeasure

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 6122-6125
No TPTP formula. May not be expressible in strict first order. Merge.kif 6120-6120 CompositeUnitOfMeasure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6119-6119 CompositeUnitOfMeasure 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 6632-6632 Ampere is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6952-6952 Becquerel is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 236-236 Bits per second is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7261-7261 British thermal unit is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7253-7253 Calorie is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6671-6671 Candela is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6824-6824 Coulomb is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7067-7067 Electron volt is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6849-6849 Farad is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6966-6966 Gray is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6902-6902 Henry is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6810-6810 Horsepower is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 252-252 InstructionsPerSecond is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6791-6791 Joule is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Economy.kif 2011-2011 Kilowatt hour is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3846-3846 Knot unit of speed is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6930-6930 Lumen is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6940-6940 Lux is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. WMD.kif 812-812 Micrograms per kilogram is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Weather.kif 1699-1699 Miles per hour is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6773-6773 Newton is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6860-6860 Ohm is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 244-244 Packets per second is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6782-6782 Pascal is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7241-7241 Pound force is an instance of CompositeUnitOfMeasure

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 13055-13064
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13085-13094
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13096-13105
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13024-13033
No TPTP formula. May not be expressible in strict first order. Merge.kif 6367-6371
No TPTP formula. May not be expressible in strict first order. Merge.kif 6137-6141
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 6367-6371


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