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 5953-5956
No TPTP formula. May not be expressible in strict first order. Merge.kif 5951-5951 CompositeUnitOfMeasure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5950-5950 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 6485-6485 Ampere is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6805-6805 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 7114-7114 British thermal unit is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7106-7106 Calorie is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6524-6524 Candela is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6677-6677 Coulomb is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6920-6920 Electron volt is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6702-6702 Farad is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6819-6819 Gray is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6755-6755 Henry is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6663-6663 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 6644-6644 Joule is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Economy.kif 2004-2004 Kilowatt hour is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3793-3793 Knot unit of speed is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6783-6783 Lumen is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6793-6793 Lux is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. WMD.kif 807-807 Micrograms per kilogram is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Weather.kif 1701-1701 Miles per hour is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6626-6626 Newton is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6713-6713 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 6635-6635 Pascal is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7094-7094 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 12975-12984
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13005-13014
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13016-13025
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12944-12953
No TPTP formula. May not be expressible in strict first order. Merge.kif 6198-6202
No TPTP formula. May not be expressible in strict first order. Merge.kif 5968-5972
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1726-1744

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6198-6202


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