No TPTP formula. May not be expressible in strict first order.	Merge.kif 15528-15528	EditionFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4816-4816	ExponentiationFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	People.kif 393-393	FemaleLifeExpectancyAtBirthFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3721-3721	FiscalYearStartingFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3156-3156	GPIFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3123-3123	GPSFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6912-6912	GeographicPartTypeFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6052-6052	GraphPathFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8633-8633	HourFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5453-5453	IntersectionFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6581-6581	IntervalFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5580-5580	KappaFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	People.kif 296-296	LifeExpectancyAtBirthFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4549-4549	LiftFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2616-2616	LineFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3070-3070	ListConcatenateFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2975-2975	ListOrderFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4974-4974	LogFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	People.kif 345-345	MaleLifeExpectancyAtBirthFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4982-4982	MaxFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6030-6030	MaximalWeightedPathFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Food.kif 1891-1891	MealAttributeFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2217-2217	Mean10MinutesWindSpeedFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2322-2322	Mean1MinuteWindSpeedFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2287-2287	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