SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Function > FunctionQuantity > EnergyMeasure > Calorie |
Calorie | ||||
subject | fact |
Calorie | documentation A Calorie is an EnergyMeasure | |
has axiom (equal | ||
is an instance of EnergyMeasure | ||
is an instance of UnitOfMeasure | ||
UnitOfMeasure | is second domain of MeasureFn | |
PhysicalQuantity | is partitioned into ConstantQuantity, FunctionQuantity | |
Function | is first domain of AssignmentFn | |
is first domain of closedOn | ||
is first domain of range | ||
is first domain of rangeSubclass | ||
Quantity | is first domain of AdditionFn | |
is first domain of DivisionFn | ||
is first domain of ExponentiationFn | ||
is first domain of greaterThan | ||
is first domain of greaterThanOrEqualTo | ||
is first domain of lessThan | ||
is first domain of lessThanOrEqualTo | ||
is first domain of MaxFn | ||
is first domain of MinFn | ||
is first domain of MultiplicationFn | ||
is first domain of ReciprocalFn | ||
is first domain of RemainderFn | ||
is first domain of RoundFn | ||
is first domain of SubtractionFn | ||
Abstract | is disjoint from Physical | |
Class | is third domain of domain | |
is third domain of domainSubclass |
Next EnergyMeasure: ElectronVolt Up: EnergyMeasure, UnitOfMeasure Previous EnergyMeasure: BritishThermalUnit