(instance ImmediateFutureFn TotalValuedRelation)	Merge.kif 8563-8563	ImmediateFutureFn è un' istanza di RelazioneAValoreTotale
(instance ImmediatePastFn TotalValuedRelation)	Merge.kif 8532-8532	ImmediatePastFn è un' istanza di RelazioneAValoreTotale
(instance IntersectionFn TotalValuedRelation)	Merge.kif 5455-5455	IntersectionFn è un' istanza di RelazioneAValoreTotale
(instance IntervalFn TotalValuedRelation)	Merge.kif 6583-6583	IntervalFn è un' istanza di RelazioneAValoreTotale
(instance ListConcatenateFn TotalValuedRelation)	Merge.kif 3072-3072	ListConcatenateFn è un' istanza di RelazioneAValoreTotale
(instance ListLengthFn TotalValuedRelation)	Merge.kif 3014-3014	ListLengthFn è un' istanza di RelazioneAValoreTotale
(instance MaxFn TotalValuedRelation)	Merge.kif 4987-4987	MaxFn è un' istanza di RelazioneAValoreTotale
(instance MaximalWeightedPathFn TotalValuedRelation)	Merge.kif 6032-6032	MaximalWeightedPathFn è un' istanza di RelazioneAValoreTotale
(instance MeasureFn TotalValuedRelation)	Merge.kif 6348-6348	MeasureFn è un' istanza di RelazioneAValoreTotale
(instance MereologicalDifferenceFn TotalValuedRelation)	Merge.kif 9864-9864	MereologicalDifferenceFn è un' istanza di RelazioneAValoreTotale
(instance MereologicalProductFn TotalValuedRelation)	Merge.kif 9843-9843	MereologicalProductFn è un' istanza di RelazioneAValoreTotale
(instance MereologicalSumFn TotalValuedRelation)	Merge.kif 9821-9821	MereologicalSumFn è un' istanza di RelazioneAValoreTotale
(instance MinFn TotalValuedRelation)	Merge.kif 5013-5013	MinFn è un' istanza di RelazioneAValoreTotale
(instance MinimalWeightedPathFn TotalValuedRelation)	Merge.kif 6010-6010	MinimalWeightedPathFn è un' istanza di RelazioneAValoreTotale
(instance MultiplicationFn TotalValuedRelation)	Merge.kif 4699-4699	MultiplicationFn è un' istanza di RelazioneAValoreTotale
(instance NumeratorFn TotalValuedRelation)	Merge.kif 5036-5036	NumeratorFn è un' istanza di RelazioneAValoreTotale
(instance PastFn TotalValuedRelation)	Merge.kif 8514-8514	PastFn è un' istanza di RelazioneAValoreTotale
(instance PerFn TotalValuedRelation)	Merge.kif 6630-6630	PerFn è un' istanza di RelazioneAValoreTotale
(instance PowerSetFn TotalValuedRelation)	Merge.kif 796-796	PowerSetFn è un' istanza di RelazioneAValoreTotale
(instance PredecessorFn TotalValuedRelation)	Merge.kif 5334-5334	PredecessorFn è un' istanza di RelazioneAValoreTotale
(instance PremisesFn TotalValuedRelation)	Merge.kif 16949-16949	PremisesFn è un' istanza di RelazioneAValoreTotale
(instance ProbabilityFn TotalValuedRelation)	Merge.kif 2571-2571	ProbabilityFn è un' istanza di RelazioneAValoreTotale
(instance PropertyFn TotalValuedRelation)	Merge.kif 4274-4274	PropertyFn è un' istanza di RelazioneAValoreTotale
(instance RadiusFn TotalValuedRelation)	Mid-level-ontology.kif 4951-4951	RadiusFn è un' istanza di RelazioneAValoreTotale
(instance ReciprocalFn TotalValuedRelation)	Merge.kif 5070-5070	ReciprocalFn è un' istanza di RelazioneAValoreTotale
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