TotalValuedRelation(total valued relation)

-------------------------


(instance ImmediateFutureFn TotalValuedRelation) Merge.kif 8429-8429 Immediate future is an instance of total valued relation
(instance ImmediatePastFn TotalValuedRelation) Merge.kif 8398-8398 Immediate past is an instance of total valued relation
(instance IntersectionFn TotalValuedRelation) Merge.kif 5354-5354 Intersection is an instance of total valued relation
(instance IntervalFn TotalValuedRelation) Merge.kif 6486-6486 Interval is an instance of total valued relation
(instance ListConcatenateFn TotalValuedRelation) Merge.kif 2999-2999 List concatenate is an instance of total valued relation
(instance ListLengthFn TotalValuedRelation) Merge.kif 2941-2941 List length is an instance of total valued relation
(instance MaxFn TotalValuedRelation) Merge.kif 4890-4890 Max is an instance of total valued relation
(instance MaximalWeightedPathFn TotalValuedRelation) Merge.kif 5932-5932 Maximal weighted path is an instance of total valued relation
(instance MeasureFn TotalValuedRelation) Merge.kif 6251-6251 Measure is an instance of total valued relation
(instance MereologicalDifferenceFn TotalValuedRelation) Merge.kif 9730-9730 Mereological difference is an instance of total valued relation
(instance MereologicalProductFn TotalValuedRelation) Merge.kif 9709-9709 Mereological product is an instance of total valued relation
(instance MereologicalSumFn TotalValuedRelation) Merge.kif 9687-9687 Mereological sum is an instance of total valued relation
(instance MinFn TotalValuedRelation) Merge.kif 4916-4916 Min is an instance of total valued relation
(instance MinimalWeightedPathFn TotalValuedRelation) Merge.kif 5907-5907 Minimal weighted path is an instance of total valued relation
(instance MultiplicationFn TotalValuedRelation) Merge.kif 4602-4602 Multiplication is an instance of total valued relation
(instance NumeratorFn TotalValuedRelation) Merge.kif 4939-4939 Numerator is an instance of total valued relation
(instance PastFn TotalValuedRelation) Merge.kif 8380-8380 Past is an instance of total valued relation
(instance PerFn TotalValuedRelation) Merge.kif 6533-6533 Per is an instance of total valued relation
(instance PowerSetFn TotalValuedRelation) Merge.kif 779-779 Power set is an instance of total valued relation
(instance PredecessorFn TotalValuedRelation) Merge.kif 5233-5233 Predecessor is an instance of total valued relation
(instance PremisesFn TotalValuedRelation) Merge.kif 16596-16596 Premises is an instance of total valued relation
(instance ProbabilityFn TotalValuedRelation) Merge.kif 2511-2511 Probability is an instance of total valued relation
(instance PropertyFn TotalValuedRelation) Merge.kif 4183-4183 Property is an instance of total valued relation
(instance RadiusFn TotalValuedRelation) Mid-level-ontology.kif 4684-4684 Radius is an instance of total valued relation
(instance ReciprocalFn TotalValuedRelation) Merge.kif 4973-4973 互相 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