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