(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