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