TotalValuedRelation
(
instance
ImmediateFutureFn
TotalValuedRelation
)
Merge.kif 8549-8549
(
instance
ImmediatePastFn
TotalValuedRelation
)
Merge.kif 8518-8518
(
instance
IntersectionFn
TotalValuedRelation
)
Merge.kif 5454-5454
(
instance
IntervalFn
TotalValuedRelation
)
Merge.kif 6582-6582
(
instance
ListConcatenateFn
TotalValuedRelation
)
Merge.kif 3071-3071
(
instance
ListLengthFn
TotalValuedRelation
)
Merge.kif 3013-3013
(
instance
MaxFn
TotalValuedRelation
)
Merge.kif 4986-4986
(
instance
MaximalWeightedPathFn
TotalValuedRelation
)
Merge.kif 6031-6031
(
instance
MeasureFn
TotalValuedRelation
)
Merge.kif 6347-6347
(
instance
MereologicalDifferenceFn
TotalValuedRelation
)
Merge.kif 9850-9850
(
instance
MereologicalProductFn
TotalValuedRelation
)
Merge.kif 9829-9829
(
instance
MereologicalSumFn
TotalValuedRelation
)
Merge.kif 9807-9807
(
instance
MinFn
TotalValuedRelation
)
Merge.kif 5012-5012
(
instance
MinimalWeightedPathFn
TotalValuedRelation
)
Merge.kif 6009-6009
(
instance
MultiplicationFn
TotalValuedRelation
)
Merge.kif 4698-4698
(
instance
NumeratorFn
TotalValuedRelation
)
Merge.kif 5035-5035
(
instance
PastFn
TotalValuedRelation
)
Merge.kif 8500-8500
(
instance
PerFn
TotalValuedRelation
)
Merge.kif 6629-6629
(
instance
PowerSetFn
TotalValuedRelation
)
Merge.kif 796-796
(
instance
PredecessorFn
TotalValuedRelation
)
Merge.kif 5333-5333
(
instance
PremisesFn
TotalValuedRelation
)
Merge.kif 16900-16900
(
instance
ProbabilityFn
TotalValuedRelation
)
Merge.kif 2571-2571
(
instance
PropertyFn
TotalValuedRelation
)
Merge.kif 4273-4273
(
instance
RadiusFn
TotalValuedRelation
)
Mid-level-ontology.kif 4956-4956
(
instance
ReciprocalFn
TotalValuedRelation
)
Merge.kif 5069-5069
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