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