(instance EditionFn BinaryFunction)	Merge.kif 15506-15506	EditionFn ist ein fall von BinaryFunction %n{nicht}
(instance ExponentiationFn BinaryFunction)	Merge.kif 4816-4816	ExponentiationFn ist ein fall von BinaryFunction %n{nicht}
(instance FemaleLifeExpectancyAtBirthFn BinaryFunction)	People.kif 393-393	FemaleLifeExpectancyAtBirthFn ist ein fall von BinaryFunction %n{nicht}
(instance FiscalYearStartingFn BinaryFunction)	Economy.kif 3721-3721	FiscalYearStartingFn ist ein fall von BinaryFunction %n{nicht}
(instance GPIFn BinaryFunction)	UXExperimentalTerms.kif 3156-3156	GPIFn ist ein fall von BinaryFunction %n{nicht}
(instance GPSFn BinaryFunction)	UXExperimentalTerms.kif 3123-3123	GPSFn ist ein fall von BinaryFunction %n{nicht}
(instance GeographicPartTypeFn BinaryFunction)	Geography.kif 6912-6912	GeographicPartTypeFn ist ein fall von BinaryFunction %n{nicht}
(instance GraphPathFn BinaryFunction)	Merge.kif 6052-6052	GraphPathFn ist ein fall von BinaryFunction %n{nicht}
(instance HourFn BinaryFunction)	Merge.kif 8611-8611	HourFn ist ein fall von BinaryFunction %n{nicht}
(instance IntersectionFn BinaryFunction)	Merge.kif 5453-5453	IntersectionFn ist ein fall von BinaryFunction %n{nicht}
(instance IntervalFn BinaryFunction)	Merge.kif 6581-6581	IntervalFn ist ein fall von BinaryFunction %n{nicht}
(instance KappaFn BinaryFunction)	Merge.kif 5580-5580	KappaFn ist ein fall von BinaryFunction %n{nicht}
(instance LifeExpectancyAtBirthFn BinaryFunction)	People.kif 296-296	LifeExpectancyAtBirthFn ist ein fall von BinaryFunction %n{nicht}
(instance LiftFn BinaryFunction)	UXExperimentalTerms.kif 4549-4549	LiftFn ist ein fall von BinaryFunction %n{nicht}
(instance LineFn BinaryFunction)	ComputingBrands.kif 2616-2616	LineFn ist ein fall von BinaryFunction %n{nicht}
(instance ListConcatenateFn BinaryFunction)	Merge.kif 3070-3070	ListeVerkettenFn ist ein fall von BinaryFunction %n{nicht}
(instance ListOrderFn BinaryFunction)	Merge.kif 2975-2975	ListeOrdnungFn ist ein fall von BinaryFunction %n{nicht}
(instance LogFn BinaryFunction)	Merge.kif 4974-4974	LogFn ist ein fall von BinaryFunction %n{nicht}
(instance MaleLifeExpectancyAtBirthFn BinaryFunction)	People.kif 345-345	MaleLifeExpectancyAtBirthFn ist ein fall von BinaryFunction %n{nicht}
(instance MaxFn BinaryFunction)	Merge.kif 4982-4982	MaxFn ist ein fall von BinaryFunction %n{nicht}
(instance MaximalWeightedPathFn BinaryFunction)	Merge.kif 6030-6030	MaximalWeightedPathFn ist ein fall von BinaryFunction %n{nicht}
(instance MealAttributeFn BinaryFunction)	Food.kif 1891-1891	MealAttributeFn ist ein fall von BinaryFunction %n{nicht}
(instance Mean10MinutesWindSpeedFn BinaryFunction)	Weather.kif 2221-2221	Mean10MinutesWindSpeedFn ist ein fall von BinaryFunction %n{nicht}
(instance Mean1MinuteWindSpeedFn BinaryFunction)	Weather.kif 2326-2326	Mean1MinuteWindSpeedFn ist ein fall von BinaryFunction %n{nicht}
(instance Mean2MinutesWindSpeedFn BinaryFunction)	Weather.kif 2291-2291	Mean2MinutesWindSpeedFn ist ein fall von BinaryFunction %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