TotalValuedRelation
(total valued relation)
(
instance
RelativeComplementFn
TotalValuedRelation
)
Merge.kif 5465-5465
Relative complement
is an
instance
of
total valued relation
(
instance
RelativeTimeFn
TotalValuedRelation
)
Merge.kif 17250-17250
Relative time
is an
instance
of
total valued relation
(
instance
RoundFn
TotalValuedRelation
)
Merge.kif 5169-5169
Round
is an
instance
of
total valued relation
(
instance
SignumFn
TotalValuedRelation
)
Merge.kif 5188-5188
Signum
is an
instance
of
total valued relation
(
instance
SineFn
TotalValuedRelation
)
Merge.kif 5210-5210
Sine
is an
instance
of
total valued relation
(
instance
SpeedFn
TotalValuedRelation
)
Merge.kif 6655-6655
Speed
is an
instance
of
total valued relation
(
instance
StringConcatenateFn
TotalValuedRelation
)
Mid-level-ontology.kif 24470-24470
String concatenate fn
is an
instance
of
total valued relation
(
instance
StringLengthFn
TotalValuedRelation
)
Mid-level-ontology.kif 24443-24443
String length fn
is an
instance
of
total valued relation
(
instance
SubtractionFn
TotalValuedRelation
)
Merge.kif 4725-4725
Subtraction
is an
instance
of
total valued relation
(
instance
SuccessorFn
TotalValuedRelation
)
Merge.kif 5300-5300
Successor
is an
instance
of
total valued relation
(
instance
TangentFn
TotalValuedRelation
)
Merge.kif 5230-5230
Tangent
is an
instance
of
total valued relation
(
instance
TemporalCompositionFn
TotalValuedRelation
)
Merge.kif 9394-9394
Temporal composition
is an
instance
of
total valued relation
(
instance
UnionFn
TotalValuedRelation
)
Merge.kif 5428-5428
Union
is an
instance
of
total valued relation
(
instance
UnitFn
TotalValuedRelation
)
Merge.kif 6610-6610
Unit fn
is an
instance
of
total valued relation
(
instance
VelocityFn
TotalValuedRelation
)
Merge.kif 6667-6667
Velocity
is an
instance
of
total valued relation
(
instance
WealthFn
TotalValuedRelation
)
Merge.kif 7813-7813
Wealth
is an
instance
of
total valued relation
(
instance
WhenFn
TotalValuedRelation
)
Merge.kif 8489-8489
When
is an
instance
of
total valued relation
(
instance
WhereFn
TotalValuedRelation
)
Merge.kif 4221-4221
Where
is an
instance
of
total valued relation
(
instance
YearFn
TotalValuedRelation
)
Merge.kif 8576-8576
Year
is an
instance
of
total valued relation
(
instance
ancestor
TotalValuedRelation
)
Merge.kif 16370-16370
ancestor
is an
instance
of
total valued relation
(
instance
angularMeasure
TotalValuedRelation
)
Merge.kif 17888-17888
angular measure
is an
instance
of
total valued relation
(
instance
approximateDiameter
TotalValuedRelation
)
Mid-level-ontology.kif 17945-17945
approximate diameter
is an
instance
of
total valued relation
(
instance
attribute
TotalValuedRelation
)
Merge.kif 1717-1717
attribute
is an
instance
of
total valued relation
(
instance
caliber
TotalValuedRelation
)
MilitaryDevices.kif 209-209
caliber
is an
instance
of
total valued relation
(
instance
changesLocation
TotalValuedRelation
)
Merge.kif 11013-11013
changes location
is an
instance
of
total valued relation
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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