(instance ImmediateFutureFn TotalValuedRelation)	Merge.kif 8527-8527
(instance ImmediatePastFn TotalValuedRelation)	Merge.kif 8496-8496
(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 9828-9828
(instance MereologicalProductFn TotalValuedRelation)	Merge.kif 9807-9807
(instance MereologicalSumFn TotalValuedRelation)	Merge.kif 9785-9785
(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 8478-8478
(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 16878-16878
(instance ProbabilityFn TotalValuedRelation)	Merge.kif 2571-2571
(instance PropertyFn TotalValuedRelation)	Merge.kif 4273-4273
(instance RadiusFn TotalValuedRelation)	Mid-level-ontology.kif 4962-4962
(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