(instance ImmediateFutureFn TotalValuedRelation)	Merge.kif 8511-8511	Immediate future is an instance of total valued relation
(instance ImmediatePastFn TotalValuedRelation)	Merge.kif 8480-8480	Immediate past is an instance of total valued relation
(instance IntersectionFn TotalValuedRelation)	Merge.kif 5440-5440	Intersection is an instance of total valued relation
(instance IntervalFn TotalValuedRelation)	Merge.kif 6568-6568	Interval is an instance of total valued relation
(instance ListConcatenateFn TotalValuedRelation)	Merge.kif 3058-3058	List concatenate is an instance of total valued relation
(instance ListLengthFn TotalValuedRelation)	Merge.kif 3000-3000	List length is an instance of total valued relation
(instance MaxFn TotalValuedRelation)	Merge.kif 4972-4972	Max is an instance of total valued relation
(instance MaximalWeightedPathFn TotalValuedRelation)	Merge.kif 6017-6017	Maximal weighted path is an instance of total valued relation
(instance MeasureFn TotalValuedRelation)	Merge.kif 6333-6333	Measure is an instance of total valued relation
(instance MereologicalDifferenceFn TotalValuedRelation)	Merge.kif 9812-9812	Mereological difference is an instance of total valued relation
(instance MereologicalProductFn TotalValuedRelation)	Merge.kif 9791-9791	Mereological product is an instance of total valued relation
(instance MereologicalSumFn TotalValuedRelation)	Merge.kif 9769-9769	Mereological sum is an instance of total valued relation
(instance MinFn TotalValuedRelation)	Merge.kif 4998-4998	Min is an instance of total valued relation
(instance MinimalWeightedPathFn TotalValuedRelation)	Merge.kif 5995-5995	Minimal weighted path is an instance of total valued relation
(instance MultiplicationFn TotalValuedRelation)	Merge.kif 4684-4684	Multiplication is an instance of total valued relation
(instance NumeratorFn TotalValuedRelation)	Merge.kif 5021-5021	Numerator is an instance of total valued relation
(instance PastFn TotalValuedRelation)	Merge.kif 8462-8462	Past is an instance of total valued relation
(instance PerFn TotalValuedRelation)	Merge.kif 6615-6615	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 5319-5319	Predecessor is an instance of total valued relation
(instance PremisesFn TotalValuedRelation)	Merge.kif 16762-16762	Premises is an instance of total valued relation
(instance ProbabilityFn TotalValuedRelation)	Merge.kif 2558-2558	Probability is an instance of total valued relation
(instance PropertyFn TotalValuedRelation)	Merge.kif 4260-4260	Property is an instance of total valued relation
(instance RadiusFn TotalValuedRelation)	Mid-level-ontology.kif 4929-4929	Radius is an instance of total valued relation
(instance ReciprocalFn TotalValuedRelation)	Merge.kif 5055-5055	互相 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