SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > FunctionQuantity > InductanceMeasure
Next FunctionQuantityLuminosityIntensityMeasure    UpFunctionQuantity    Previous FunctionQuantityIlluminanceMeasure   

InductanceMeasure
subjectfact 
InductanceMeasureis a kind of FunctionQuantity2001-11-30 13:34:29.0
FunctionQuantitydocumentation A FunctionQuantity is a Function that maps from one or more instances of ConstantQuantity to another instance of ConstantQuantity. For example, the velocity of a particle would be represented by a FunctionQuantity mapping values of time (which are ConstantQuantities) to values of distance (also ConstantQuantities). Note that all instances of FunctionQuantity are Functions with a fixed arity. Note too that all elements of the range of a FunctionQuantity have the same physical dimension as the FunctionQuantity itself2001-11-30 13:34:18.0
Functionis first domain of AssignmentFn2001-11-30 13:34:18.0
is first domain of closedOn2001-11-30 13:34:18.0
is first domain of range2001-11-30 13:34:18.0
is first domain of rangeSubclass2001-11-30 13:34:18.0
PhysicalQuantityis partitioned into ConstantQuantity, FunctionQuantity2001-11-30 13:34:58.0
Relationis second domain of subrelation2001-11-30 13:35:10.0
Quantityis second domain of AdditionFn2001-11-30 13:35:06.0
is second domain of DivisionFn2001-11-30 13:35:06.0
is second domain of greaterThan2001-11-30 13:35:06.0
is second domain of greaterThanOrEqualTo2001-11-30 13:35:06.0
is second domain of lessThan2001-11-30 13:35:06.0
is second domain of lessThanOrEqualTo2001-11-30 13:35:06.0
is second domain of MaxFn2001-11-30 13:35:06.0
is second domain of MinFn2001-11-30 13:35:06.0
is second domain of MultiplicationFn2001-11-30 13:35:06.0
is second domain of RemainderFn2001-11-30 13:35:06.0
is second domain of SubtractionFn2001-11-30 13:35:06.0
Classhas axiom
(<=> 
(instance ?CLASS Class)
(subclass ?CLASS Entity))
2001-11-30 13:33:50.0
has axiom
(forall (?INT) (domain disjointDecomposition ?INT Class))
2001-11-30 13:33:50.0
has axiom
(forall (?INT) (domain exhaustiveDecomposition ?INT Class))
2001-11-30 13:33:50.0
is third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstracthas axiom
(<=> 
(instance ?ABS Abstract)
(not
(exists (?POINT)
(or
(located ?ABS ?POINT)
(existant ?ABS ?POINT)))))
2001-11-30 13:33:32.0
is disjoint from Physical2001-11-30 13:33:32.0

Kinds of InductanceMeasure :

Next FunctionQuantityLuminosityIntensityMeasure    UpFunctionQuantity    Previous FunctionQuantityIlluminanceMeasure