TotalValuedRelation

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


(instance ImmediateFutureFn TotalValuedRelation) Merge.kif 8464-8464
(instance ImmediatePastFn TotalValuedRelation) Merge.kif 8433-8433
(instance IntersectionFn TotalValuedRelation) Merge.kif 5385-5385
(instance IntervalFn TotalValuedRelation) Merge.kif 6521-6521
(instance ListConcatenateFn TotalValuedRelation) Merge.kif 3030-3030
(instance ListLengthFn TotalValuedRelation) Merge.kif 2972-2972
(instance MaxFn TotalValuedRelation) Merge.kif 4921-4921
(instance MaximalWeightedPathFn TotalValuedRelation) Merge.kif 5966-5966
(instance MeasureFn TotalValuedRelation) Merge.kif 6286-6286
(instance MereologicalDifferenceFn TotalValuedRelation) Merge.kif 9769-9769
(instance MereologicalProductFn TotalValuedRelation) Merge.kif 9748-9748
(instance MereologicalSumFn TotalValuedRelation) Merge.kif 9726-9726
(instance MinFn TotalValuedRelation) Merge.kif 4947-4947
(instance MinimalWeightedPathFn TotalValuedRelation) Merge.kif 5940-5940
(instance MultiplicationFn TotalValuedRelation) Merge.kif 4633-4633
(instance NumeratorFn TotalValuedRelation) Merge.kif 4970-4970
(instance PastFn TotalValuedRelation) Merge.kif 8415-8415
(instance PerFn TotalValuedRelation) Merge.kif 6568-6568
(instance PowerSetFn TotalValuedRelation) Merge.kif 790-790
(instance PredecessorFn TotalValuedRelation) Merge.kif 5264-5264
(instance PremisesFn TotalValuedRelation) Merge.kif 16731-16731
(instance ProbabilityFn TotalValuedRelation) Merge.kif 2530-2530
(instance PropertyFn TotalValuedRelation) Merge.kif 4214-4214
(instance RadiusFn TotalValuedRelation) Mid-level-ontology.kif 4922-4922
(instance ReciprocalFn TotalValuedRelation) Merge.kif 5004-5004

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