Simple Browser
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
Defrauding
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GermanLanguage
GreekLanguage
Haboob
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
Sigma KEE  TimeMeasure
KB Term:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
time measure
The class of temporal durations (instances of
TimeDuration
) and positions of
TimePoint
s and
TimeInterval
s along the universal timeline (instances of
TimePosition
).
Relationships
Parents
constant quantity
A
ConstantQuantity
is a
PhysicalQuantity
that has a constant value, e.g. 3
Meter
s and 5
HourDuration
s. The magnitude (see
MagnitudeFn
) of every
ConstantQuantity
is a
RealNumber
.
ConstantQuantity
is distinguished from
FunctionQuantity
, in that each instance of the latter is formed through the mapping of one
PhysicalQuantity
to another
PhysicalQuantity
. Each instance of
ConstantQuantity
is expressed with the
BinaryFunction
MeasureFn
, which takes a
Number
and a
UnitOfMeasure
as arguments. For example, 3
Meter
s is expressed as (
MeasureFn
3
Meter
). Instances of
ConstantQuantity
form a partial order (see
PartialOrderingRelation
) with the
lessThan
relation, since
lessThan
is a
RelationExtendedToQuantities
and
lessThan
is defined over the
RealNumber
s. The
lessThan
relation is not a total order (see
TotalOrderingRelation
) over the class
ConstantQuantity
since elements of some subclasses of
ConstantQuantity
(such as length quantities) are incomparable to elements of other subclasses of
ConstantQuantity
(such as mass quantities).
Children
time duration
Any measure of length of time, with or without respect to the universal timeline.
time position
Any
TimePoint
or
TimeInterval
along the universal timeline from
NegativeInfinity
to
PositiveInfinity
.
Show simplified definition with tree view
Show full definition (without tree view)
Show full definition (with tree view)
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners