(instance ImmediateFutureFn TotalValuedRelation)	Merge.kif 8527-8527	ImmediateFutureFn est une instance de relation total
(instance ImmediatePastFn TotalValuedRelation)	Merge.kif 8496-8496	ImmediatePastFn est une instance de relation total
(instance IntersectionFn TotalValuedRelation)	Merge.kif 5454-5454	IntersectionFn est une instance de relation total
(instance IntervalFn TotalValuedRelation)	Merge.kif 6582-6582	IntervalFn est une instance de relation total
(instance ListConcatenateFn TotalValuedRelation)	Merge.kif 3071-3071	ListConcatenateFn est une instance de relation total
(instance ListLengthFn TotalValuedRelation)	Merge.kif 3013-3013	ListLengthFn est une instance de relation total
(instance MaxFn TotalValuedRelation)	Merge.kif 4986-4986	MaxFn est une instance de relation total
(instance MaximalWeightedPathFn TotalValuedRelation)	Merge.kif 6031-6031	MaximalWeightedPathFn est une instance de relation total
(instance MeasureFn TotalValuedRelation)	Merge.kif 6347-6347	MeasureFn est une instance de relation total
(instance MereologicalDifferenceFn TotalValuedRelation)	Merge.kif 9828-9828	MereologicalDifferenceFn est une instance de relation total
(instance MereologicalProductFn TotalValuedRelation)	Merge.kif 9807-9807	MereologicalProductFn est une instance de relation total
(instance MereologicalSumFn TotalValuedRelation)	Merge.kif 9785-9785	MereologicalSumFn est une instance de relation total
(instance MinFn TotalValuedRelation)	Merge.kif 5012-5012	MinFn est une instance de relation total
(instance MinimalWeightedPathFn TotalValuedRelation)	Merge.kif 6009-6009	MinimalWeightedPathFn est une instance de relation total
(instance MultiplicationFn TotalValuedRelation)	Merge.kif 4698-4698	MultiplicationFn est une instance de relation total
(instance NumeratorFn TotalValuedRelation)	Merge.kif 5035-5035	NumeratorFn est une instance de relation total
(instance PastFn TotalValuedRelation)	Merge.kif 8478-8478	PastFn est une instance de relation total
(instance PerFn TotalValuedRelation)	Merge.kif 6629-6629	PerFn est une instance de relation total
(instance PowerSetFn TotalValuedRelation)	Merge.kif 796-796	PowerSetFn est une instance de relation total
(instance PredecessorFn TotalValuedRelation)	Merge.kif 5333-5333	PredecessorFn est une instance de relation total
(instance PremisesFn TotalValuedRelation)	Merge.kif 16878-16878	PremisesFn est une instance de relation total
(instance ProbabilityFn TotalValuedRelation)	Merge.kif 2571-2571	ProbabilityFn est une instance de relation total
(instance PropertyFn TotalValuedRelation)	Merge.kif 4273-4273	PropertyFn est une instance de relation total
(instance RadiusFn TotalValuedRelation)	Mid-level-ontology.kif 4962-4962	RadiusFn est une instance de relation total
(instance ReciprocalFn TotalValuedRelation)	Merge.kif 5069-5069	ReciprocalFn est une instance de relation total
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