TotalValuedRelation
(total valued relation)
(
instance
ImmediateFutureFn
TotalValuedRelation
)
Merge.kif 8527-8527
Immediate future
is an
instance
of
total valued relation
(
instance
ImmediatePastFn
TotalValuedRelation
)
Merge.kif 8496-8496
Immediate past
is an
instance
of
total valued relation
(
instance
IntersectionFn
TotalValuedRelation
)
Merge.kif 5454-5454
Intersection
is an
instance
of
total valued relation
(
instance
IntervalFn
TotalValuedRelation
)
Merge.kif 6582-6582
Interval
is an
instance
of
total valued relation
(
instance
ListConcatenateFn
TotalValuedRelation
)
Merge.kif 3071-3071
List concatenate
is an
instance
of
total valued relation
(
instance
ListLengthFn
TotalValuedRelation
)
Merge.kif 3013-3013
List length
is an
instance
of
total valued relation
(
instance
MaxFn
TotalValuedRelation
)
Merge.kif 4986-4986
Max
is an
instance
of
total valued relation
(
instance
MaximalWeightedPathFn
TotalValuedRelation
)
Merge.kif 6031-6031
Maximal weighted path
is an
instance
of
total valued relation
(
instance
MeasureFn
TotalValuedRelation
)
Merge.kif 6347-6347
Measure
is an
instance
of
total valued relation
(
instance
MereologicalDifferenceFn
TotalValuedRelation
)
Merge.kif 9828-9828
Mereological difference
is an
instance
of
total valued relation
(
instance
MereologicalProductFn
TotalValuedRelation
)
Merge.kif 9807-9807
Mereological product
is an
instance
of
total valued relation
(
instance
MereologicalSumFn
TotalValuedRelation
)
Merge.kif 9785-9785
Mereological sum
is an
instance
of
total valued relation
(
instance
MinFn
TotalValuedRelation
)
Merge.kif 5012-5012
Min
is an
instance
of
total valued relation
(
instance
MinimalWeightedPathFn
TotalValuedRelation
)
Merge.kif 6009-6009
Minimal weighted path
is an
instance
of
total valued relation
(
instance
MultiplicationFn
TotalValuedRelation
)
Merge.kif 4698-4698
Multiplication
is an
instance
of
total valued relation
(
instance
NumeratorFn
TotalValuedRelation
)
Merge.kif 5035-5035
Numerator
is an
instance
of
total valued relation
(
instance
PastFn
TotalValuedRelation
)
Merge.kif 8478-8478
Past
is an
instance
of
total valued relation
(
instance
PerFn
TotalValuedRelation
)
Merge.kif 6629-6629
Per
is an
instance
of
total valued relation
(
instance
PowerSetFn
TotalValuedRelation
)
Merge.kif 796-796
Power set
is an
instance
of
total valued relation
(
instance
PredecessorFn
TotalValuedRelation
)
Merge.kif 5333-5333
Predecessor
is an
instance
of
total valued relation
(
instance
PremisesFn
TotalValuedRelation
)
Merge.kif 16878-16878
Premises
is an
instance
of
total valued relation
(
instance
ProbabilityFn
TotalValuedRelation
)
Merge.kif 2571-2571
Probability
is an
instance
of
total valued relation
(
instance
PropertyFn
TotalValuedRelation
)
Merge.kif 4273-4273
Property
is an
instance
of
total valued relation
(
instance
RadiusFn
TotalValuedRelation
)
Mid-level-ontology.kif 4962-4962
Radius
is an
instance
of
total valued relation
(
instance
ReciprocalFn
TotalValuedRelation
)
Merge.kif 5069-5069
互相
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