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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CompositeUnitOfMeasure
CompositeUnitOfMeasure

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


s__documentation(s__CompositeUnitOfMeasure,s__ChineseLanguage,'"这是由其他单位的复合函数所决定的 UnitsOfMeasure Class 的实例,当中的每一个可以是一个 CompositeUnitOfMeasure 或是一个 NonCompositeUnitOfMeasure。"')

chinese_format.kif 2397-2399
s__documentation(s__CompositeUnitOfMeasure,s__EnglishLanguage,'"Instances of this Class are UnitsOfMeasure defined by the functional composition of other units, each of which might be a CompositeUnitOfMeasure or a NonCompositeUnitOfMeasure."')

Merge.kif 5949-5952
s__subclass(s__CompositeUnitOfMeasure,s__FunctionQuantity)

s__instance(s__FunctionQuantity,s__SetOrClass)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 5947-5947 CompositeUnitOfMeasure is a subclass of function quantity
s__subclass(s__CompositeUnitOfMeasure,s__UnitOfMeasure)

s__instance(s__UnitOfMeasure,s__SetOrClass)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 5946-5946 CompositeUnitOfMeasure is a subclass of unit of measure

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


s__instance(s__Ampere,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 6477-6477 Ampere is an instance of CompositeUnitOfMeasure
s__instance(s__Becquerel,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 6797-6797 Becquerel is an instance of CompositeUnitOfMeasure
s__instance(s__BitsPerSecond,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

QoSontology.kif 236-236 Bits per second is an instance of CompositeUnitOfMeasure
s__instance(s__BritishThermalUnit,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 7102-7102 British thermal unit is an instance of CompositeUnitOfMeasure
s__instance(s__Calorie,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 7094-7094 Calorie is an instance of CompositeUnitOfMeasure
s__instance(s__Candela,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 6516-6516 Candela is an instance of CompositeUnitOfMeasure
s__instance(s__Coulomb,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 6669-6669 Coulomb is an instance of CompositeUnitOfMeasure
s__instance(s__ElectronVolt,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 6908-6908 Electron volt is an instance of CompositeUnitOfMeasure
s__instance(s__Farad,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 6694-6694 Farad is an instance of CompositeUnitOfMeasure
s__instance(s__Gray,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 6811-6811 Gray is an instance of CompositeUnitOfMeasure
s__instance(s__Henry,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 6747-6747 Henry is an instance of CompositeUnitOfMeasure
s__instance(s__Horsepower,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 6655-6655 Horsepower is an instance of CompositeUnitOfMeasure
s__instance(s__InstructionsPerSecond,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

QoSontology.kif 252-252 InstructionsPerSecond is an instance of CompositeUnitOfMeasure
s__instance(s__Joule,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 6636-6636 Joule is an instance of CompositeUnitOfMeasure
s__instance(s__KilowattHour,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Economy.kif 2004-2004 Kilowatt hour is an instance of CompositeUnitOfMeasure
s__instance(s__KnotUnitOfSpeed,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Geography.kif 3769-3769 Knot unit of speed is an instance of CompositeUnitOfMeasure
s__instance(s__Lumen,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 6775-6775 Lumen is an instance of CompositeUnitOfMeasure
s__instance(s__Lux,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 6785-6785 Lux is an instance of CompositeUnitOfMeasure
s__instance(s__McgPerKg,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

WMD.kif 807-807 Micrograms per kilogram is an instance of CompositeUnitOfMeasure
s__instance(s__MilesPerHour,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Weather.kif 1699-1699 Miles per hour is an instance of CompositeUnitOfMeasure
s__instance(s__Newton,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 6618-6618 Newton is an instance of CompositeUnitOfMeasure
s__instance(s__Ohm,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 6705-6705 Ohm is an instance of CompositeUnitOfMeasure
s__instance(s__PacketsPerSecond,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

QoSontology.kif 244-244 Packets per second is an instance of CompositeUnitOfMeasure
s__instance(s__Pascal,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 6627-6627 Pascal is an instance of CompositeUnitOfMeasure
s__instance(s__PoundForce,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 7082-7082 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 12397-12406
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12427-12436
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12438-12447
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12366-12375
No TPTP formula. May not be expressible in strict first order. Merge.kif 6194-6198
( ! [V__QUANT,V__UNIT,V__N] :
   ((s__instance(V__N,s__RealNumber) =>
       (((s__instance(V__QUANT,s__MeasureFn(V__N,V__UNIT))
         &
         s__instance(V__UNIT,s__CompositeUnitOfMeasure))
       =>
       (s__instance(V__QUANT,s__FunctionQuantity)))))
)
)

Merge.kif 5964-5968
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 6194-6198


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