(instance ImmediateFutureFn TotalValuedRelation)	Merge.kif 8527-8527	Immediate future is an instance of total valued relation
(instance ImmediatePastFn TotalValuedRelation)	Merge.kif 8496-8496	Immediate past is an instance of total valued relation
(instance IntersectionFn TotalValuedRelation)	Merge.kif 5454-5454	Intersection is an instance of total valued relation
(instance IntervalFn TotalValuedRelation)	Merge.kif 6582-6582	Interval is an instance of total valued relation
(instance ListConcatenateFn TotalValuedRelation)	Merge.kif 3071-3071	List concatenate is an instance of total valued relation
(instance ListLengthFn TotalValuedRelation)	Merge.kif 3013-3013	List length is an instance of total valued relation
(instance MaxFn TotalValuedRelation)	Merge.kif 4986-4986	Max is an instance of total valued relation
(instance MaximalWeightedPathFn TotalValuedRelation)	Merge.kif 6031-6031	Maximal weighted path is an instance of total valued relation
(instance MeasureFn TotalValuedRelation)	Merge.kif 6347-6347	Measure is an instance of total valued relation
(instance MereologicalDifferenceFn TotalValuedRelation)	Merge.kif 9828-9828	Mereological difference is an instance of total valued relation
(instance MereologicalProductFn TotalValuedRelation)	Merge.kif 9807-9807	Mereological product is an instance of total valued relation
(instance MereologicalSumFn TotalValuedRelation)	Merge.kif 9785-9785	Mereological sum is an instance of total valued relation
(instance MinFn TotalValuedRelation)	Merge.kif 5012-5012	Min is an instance of total valued relation
(instance MinimalWeightedPathFn TotalValuedRelation)	Merge.kif 6009-6009	Minimal weighted path is an instance of total valued relation
(instance MultiplicationFn TotalValuedRelation)	Merge.kif 4698-4698	Multiplication is an instance of total valued relation
(instance NumeratorFn TotalValuedRelation)	Merge.kif 5035-5035	Numerator is an instance of total valued relation
(instance PastFn TotalValuedRelation)	Merge.kif 8478-8478	Past is an instance of total valued relation
(instance PerFn TotalValuedRelation)	Merge.kif 6629-6629	Per is an instance of total valued relation
(instance PowerSetFn TotalValuedRelation)	Merge.kif 796-796	Power set is an instance of total valued relation
(instance PredecessorFn TotalValuedRelation)	Merge.kif 5333-5333	Predecessor is an instance of total valued relation
(instance PremisesFn TotalValuedRelation)	Merge.kif 16878-16878	Premises is an instance of total valued relation
(instance ProbabilityFn TotalValuedRelation)	Merge.kif 2571-2571	Probability is an instance of total valued relation
(instance PropertyFn TotalValuedRelation)	Merge.kif 4273-4273	Property is an instance of total valued relation
(instance RadiusFn TotalValuedRelation)	Mid-level-ontology.kif 4962-4962	Radius is an instance of total valued relation
(instance ReciprocalFn TotalValuedRelation)	Merge.kif 5069-5069	互相 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