TotalValuedRelation

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


(instance ImmediateFutureFn TotalValuedRelation) Merge.kif 8492-8492 instance ImmediateFutureFn and TotalValuedRelation
(instance ImmediatePastFn TotalValuedRelation) Merge.kif 8461-8461 instance ImmediatePastFn and TotalValuedRelation
(instance IntersectionFn TotalValuedRelation) Merge.kif 5421-5421 instance IntersectionFn and TotalValuedRelation
(instance IntervalFn TotalValuedRelation) Merge.kif 6549-6549 instance IntervalFn and TotalValuedRelation
(instance ListConcatenateFn TotalValuedRelation) Merge.kif 3048-3048 instance ListConcatenateFn and TotalValuedRelation
(instance ListLengthFn TotalValuedRelation) Merge.kif 2990-2990 instance ListLengthFn and TotalValuedRelation
(instance MaxFn TotalValuedRelation) Merge.kif 4957-4957 instance MaxFn and TotalValuedRelation
(instance MaximalWeightedPathFn TotalValuedRelation) Merge.kif 5998-5998 instance MaximalWeightedPathFn and TotalValuedRelation
(instance MeasureFn TotalValuedRelation) Merge.kif 6314-6314 instance MeasureFn and TotalValuedRelation
(instance MereologicalDifferenceFn TotalValuedRelation) Merge.kif 9797-9797 instance MereologicalDifferenceFn and TotalValuedRelation
(instance MereologicalProductFn TotalValuedRelation) Merge.kif 9776-9776 instance MereologicalProductFn and TotalValuedRelation
(instance MereologicalSumFn TotalValuedRelation) Merge.kif 9754-9754 instance MereologicalSumFn and TotalValuedRelation
(instance MinFn TotalValuedRelation) Merge.kif 4983-4983 instance MinFn and TotalValuedRelation
(instance MinimalWeightedPathFn TotalValuedRelation) Merge.kif 5976-5976 instance MinimalWeightedPathFn and TotalValuedRelation
(instance MultiplicationFn TotalValuedRelation) Merge.kif 4669-4669 instance MultiplicationFn and TotalValuedRelation
(instance NumeratorFn TotalValuedRelation) Merge.kif 5006-5006 instance NumeratorFn and TotalValuedRelation
(instance PastFn TotalValuedRelation) Merge.kif 8443-8443 instance PastFn and TotalValuedRelation
(instance PerFn TotalValuedRelation) Merge.kif 6596-6596 instance PerFn and TotalValuedRelation
(instance PowerSetFn TotalValuedRelation) Merge.kif 785-785 instance PowerSetFn and TotalValuedRelation
(instance PredecessorFn TotalValuedRelation) Merge.kif 5300-5300 instance PredecessorFn and TotalValuedRelation
(instance PremisesFn TotalValuedRelation) Merge.kif 16728-16728 instance PremisesFn and TotalValuedRelation
(instance ProbabilityFn TotalValuedRelation) Merge.kif 2548-2548 instance ProbabilityFn and TotalValuedRelation
(instance PropertyFn TotalValuedRelation) Merge.kif 4250-4250 instance PropertyFn and TotalValuedRelation
(instance RadiusFn TotalValuedRelation) Mid-level-ontology.kif 4922-4922 instance RadiusFn and TotalValuedRelation
(instance ReciprocalFn TotalValuedRelation) Merge.kif 5040-5040 instance ReciprocalFn and TotalValuedRelation

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