(instance ImmediateFutureFn TotalValuedRelation)	Merge.kif 8527-8527	ImmediateFutureFn ist ein fall von TotalValuedRelation %n{nicht}
(instance ImmediatePastFn TotalValuedRelation)	Merge.kif 8496-8496	ImmediatePastFn ist ein fall von TotalValuedRelation %n{nicht}
(instance IntersectionFn TotalValuedRelation)	Merge.kif 5454-5454	IntersectionFn ist ein fall von TotalValuedRelation %n{nicht}
(instance IntervalFn TotalValuedRelation)	Merge.kif 6582-6582	IntervalFn ist ein fall von TotalValuedRelation %n{nicht}
(instance ListConcatenateFn TotalValuedRelation)	Merge.kif 3071-3071	ListeVerkettenFn ist ein fall von TotalValuedRelation %n{nicht}
(instance ListLengthFn TotalValuedRelation)	Merge.kif 3013-3013	ListeLaengeFn ist ein fall von TotalValuedRelation %n{nicht}
(instance MaxFn TotalValuedRelation)	Merge.kif 4986-4986	MaxFn ist ein fall von TotalValuedRelation %n{nicht}
(instance MaximalWeightedPathFn TotalValuedRelation)	Merge.kif 6031-6031	MaximalWeightedPathFn ist ein fall von TotalValuedRelation %n{nicht}
(instance MeasureFn TotalValuedRelation)	Merge.kif 6347-6347	MeasureFn ist ein fall von TotalValuedRelation %n{nicht}
(instance MereologicalDifferenceFn TotalValuedRelation)	Merge.kif 9828-9828	MereologicalDifferenceFn ist ein fall von TotalValuedRelation %n{nicht}
(instance MereologicalProductFn TotalValuedRelation)	Merge.kif 9807-9807	MereologicalProductFn ist ein fall von TotalValuedRelation %n{nicht}
(instance MereologicalSumFn TotalValuedRelation)	Merge.kif 9785-9785	MereologicalSumFn ist ein fall von TotalValuedRelation %n{nicht}
(instance MinFn TotalValuedRelation)	Merge.kif 5012-5012	MinFn ist ein fall von TotalValuedRelation %n{nicht}
(instance MinimalWeightedPathFn TotalValuedRelation)	Merge.kif 6009-6009	MinimalWeightedPathFn ist ein fall von TotalValuedRelation %n{nicht}
(instance MultiplicationFn TotalValuedRelation)	Merge.kif 4698-4698	MultiplicationFn ist ein fall von TotalValuedRelation %n{nicht}
(instance NumeratorFn TotalValuedRelation)	Merge.kif 5035-5035	NumeratorFn ist ein fall von TotalValuedRelation %n{nicht}
(instance PastFn TotalValuedRelation)	Merge.kif 8478-8478	PastFn ist ein fall von TotalValuedRelation %n{nicht}
(instance PerFn TotalValuedRelation)	Merge.kif 6629-6629	PerFn ist ein fall von TotalValuedRelation %n{nicht}
(instance PowerSetFn TotalValuedRelation)	Merge.kif 796-796	PowerSetFn ist ein fall von TotalValuedRelation %n{nicht}
(instance PredecessorFn TotalValuedRelation)	Merge.kif 5333-5333	PredecessorFn ist ein fall von TotalValuedRelation %n{nicht}
(instance PremisesFn TotalValuedRelation)	Merge.kif 16878-16878	PremisesFn ist ein fall von TotalValuedRelation %n{nicht}
(instance ProbabilityFn TotalValuedRelation)	Merge.kif 2571-2571	Wahrscheinlichkeit ist ein fall von TotalValuedRelation %n{nicht}
(instance PropertyFn TotalValuedRelation)	Merge.kif 4273-4273	EigentumFn ist ein fall von TotalValuedRelation %n{nicht}
(instance RadiusFn TotalValuedRelation)	Mid-level-ontology.kif 4962-4962	RadiusFn ist ein fall von TotalValuedRelation %n{nicht}
(instance ReciprocalFn TotalValuedRelation)	Merge.kif 5069-5069	ReciprocalFn ist ein fall von TotalValuedRelation %n{nicht}
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