(instance DivisionFn BinaryFunction)	Merge.kif 4792-4792	Division is an instance of binary function
(instance EditionFn BinaryFunction)	Merge.kif 15678-15678	Edition is an instance of binary function
(instance ExponentiationFn BinaryFunction)	Merge.kif 4869-4869	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 4053-4053	Fiscal year starting is an instance of binary function
(instance GPIFn BinaryFunction)	UXExperimentalTerms.kif 3155-3155	GPW is an instance of binary function
(instance GPSFn BinaryFunction)	UXExperimentalTerms.kif 3122-3122	GPS is an instance of binary function
(instance GeographicPartTypeFn BinaryFunction)	Geography.kif 8561-8561	Geographic part type fn is an instance of binary function
(instance GraphPathFn BinaryFunction)	Merge.kif 6102-6102	Graph path is an instance of binary function
(instance GrossNationalProductFn BinaryFunction)	Economy.kif 1026-1026	GNP is an instance of binary function
(instance HourFn BinaryFunction)	Merge.kif 8746-8746	Hour is an instance of binary function
(instance IntersectionFn BinaryFunction)	Merge.kif 5503-5503	Intersection is an instance of binary function
(instance IntervalFn BinaryFunction)	Merge.kif 6631-6631	Interval is an instance of binary function
(instance KappaFn BinaryFunction)	Merge.kif 5630-5630	Kappa is an instance of binary function
(instance LevelPlaneFn BinaryFunction)	Mid-level-ontology.kif 27408-27408	Level plane 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 4548-4548	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 3108-3108	List concatenate is an instance of binary function
(instance ListOrderFn BinaryFunction)	Merge.kif 3013-3013	List order is an instance of binary function
(instance LogFn BinaryFunction)	Merge.kif 5027-5027	Log is an instance of binary function
(instance MagneticDeclinationFn BinaryFunction)	Geography.kif 5237-5237	Magnetic declination 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 MarketOfItemInRegionFn BinaryFunction)	Economy.kif 6734-6734	Market is an instance of binary function
(instance MaxFn BinaryFunction)	Merge.kif 5035-5035	Max 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