(instance FemaleLifeExpectancyAtBirthFn BinaryFunction)	People.kif 401-401	Female life expectancy at birth is an instance of binary function
(instance FiscalYearStartingFn BinaryFunction)	Economy.kif 3724-3724	Fiscal year starting is an instance of binary function
(instance GPIFn BinaryFunction)	UXExperimentalTerms.kif 3358-3358	GPW is an instance of binary function
(instance GPSFn BinaryFunction)	UXExperimentalTerms.kif 3325-3325	GPS is an instance of binary function
(instance GeographicPartTypeFn BinaryFunction)	Geography.kif 6250-6250	GeographicPartTypeFn is an instance of binary function
(instance GraphPathFn BinaryFunction)	Merge.kif 5713-5713	Graph path is an instance of binary function
(instance HourFn BinaryFunction)	Merge.kif 8048-8048	Hour is an instance of binary function
(instance IntersectionFn BinaryFunction)	Merge.kif 5133-5133	Intersection is an instance of binary function
(instance IntervalFn BinaryFunction)	Merge.kif 6243-6243	Interval is an instance of binary function
(instance KappaFn BinaryFunction)	Merge.kif 5263-5263	Kappa is an instance of binary function
(instance LifeExpectancyAtBirthFn BinaryFunction)	People.kif 309-309	Life expectancy at birth is an instance of binary function
(instance LiftFn BinaryFunction)	UXExperimentalTerms.kif 4747-4747	Lift is an instance of binary function
(instance LineFn BinaryFunction)	ComputingBrands.kif 2585-2585	Line is an instance of binary function
(instance ListConcatenateFn BinaryFunction)	Merge.kif 2959-2959	List concatenate is an instance of binary function
(instance ListOrderFn BinaryFunction)	Merge.kif 2864-2864	List order is an instance of binary function
(instance LogFn BinaryFunction)	Merge.kif 4730-4730	Log is an instance of binary function
(instance MaleLifeExpectancyAtBirthFn BinaryFunction)	People.kif 356-356	Male life expectancy at birth is an instance of binary function
(instance MaxFn BinaryFunction)	Merge.kif 4738-4738	Max is an instance of binary function
(instance MaximalWeightedPathFn BinaryFunction)	Merge.kif 5688-5688	Maximal weighted path is an instance of binary function
(instance MealAttributeFn BinaryFunction)	Food.kif 237-237	Meal attribute function is an instance of binary function
(instance MeasureFn BinaryFunction)	Merge.kif 6008-6008	Measure is an instance of binary function
(instance MemberRoleFn BinaryFunction)	Government.kif 1735-1735	Member role is an instance of binary function
(instance MereologicalDifferenceFn BinaryFunction)	Merge.kif 9211-9211	Mereological difference is an instance of binary function
(instance MereologicalProductFn BinaryFunction)	Merge.kif 9190-9190	Mereological product is an instance of binary function
(instance MereologicalSumFn BinaryFunction)	Merge.kif 9168-9168	Mereological sum 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners