(instance EditionFn BinaryFunction)	Merge.kif 15506-15506	Edition is an instance of binary function
(instance ExponentiationFn BinaryFunction)	Merge.kif 4816-4816	Exponentiation is an instance of binary function
(instance FemaleLifeExpectancyAtBirthFn BinaryFunction)	People.kif 393-393	Female life expectancy at birth is an instance of binary function
(instance FiscalYearStartingFn BinaryFunction)	Economy.kif 3721-3721	Fiscal year starting is an instance of binary function
(instance GPIFn BinaryFunction)	UXExperimentalTerms.kif 3156-3156	GPW is an instance of binary function
(instance GPSFn BinaryFunction)	UXExperimentalTerms.kif 3123-3123	GPS is an instance of binary function
(instance GeographicPartTypeFn BinaryFunction)	Geography.kif 6912-6912	Geographic part type fn is an instance of binary function
(instance GraphPathFn BinaryFunction)	Merge.kif 6052-6052	Graph path is an instance of binary function
(instance HourFn BinaryFunction)	Merge.kif 8611-8611	Hour is an instance of binary function
(instance IntersectionFn BinaryFunction)	Merge.kif 5453-5453	Intersection is an instance of binary function
(instance IntervalFn BinaryFunction)	Merge.kif 6581-6581	Interval is an instance of binary function
(instance KappaFn BinaryFunction)	Merge.kif 5580-5580	Kappa is an instance of binary function
(instance LifeExpectancyAtBirthFn BinaryFunction)	People.kif 296-296	Life expectancy at birth is an instance of binary function
(instance LiftFn BinaryFunction)	UXExperimentalTerms.kif 4549-4549	Lift is an instance of binary function
(instance LineFn BinaryFunction)	ComputingBrands.kif 2616-2616	Line is an instance of binary function
(instance ListConcatenateFn BinaryFunction)	Merge.kif 3070-3070	List concatenate is an instance of binary function
(instance ListOrderFn BinaryFunction)	Merge.kif 2975-2975	List order is an instance of binary function
(instance LogFn BinaryFunction)	Merge.kif 4974-4974	Log is an instance of binary function
(instance MaleLifeExpectancyAtBirthFn BinaryFunction)	People.kif 345-345	Male life expectancy at birth is an instance of binary function
(instance MaxFn BinaryFunction)	Merge.kif 4982-4982	Max is an instance of binary function
(instance MaximalWeightedPathFn BinaryFunction)	Merge.kif 6030-6030	Maximal weighted path is an instance of binary function
(instance MealAttributeFn BinaryFunction)	Food.kif 1891-1891	Meal attribute function is an instance of binary function
(instance Mean10MinutesWindSpeedFn BinaryFunction)	Weather.kif 2221-2221	Ten minute mean surface wind speed is an instance of binary function
(instance Mean1MinuteWindSpeedFn BinaryFunction)	Weather.kif 2326-2326	One minute mean surface wind speed is an instance of binary function
(instance Mean2MinutesWindSpeedFn BinaryFunction)	Weather.kif 2291-2291	Two minute mean surface wind speed is an instance of binary function
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