(instance EditionFn BinaryFunction)	Merge.kif 15656-15656	Edition is an instance of binary function
(instance ExponentiationFn BinaryFunction)	Merge.kif 4844-4844	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 4058-4058	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 7249-7249	Geographic part type fn is an instance of binary function
(instance GraphPathFn BinaryFunction)	Merge.kif 6077-6077	Graph path is an instance of binary function
(instance GrossNationalProductFn BinaryFunction)	Economy.kif 1028-1028	GNP is an instance of binary function
(instance HourFn BinaryFunction)	Merge.kif 8724-8724	Hour is an instance of binary function
(instance IntersectionFn BinaryFunction)	Merge.kif 5478-5478	Intersection is an instance of binary function
(instance IntervalFn BinaryFunction)	Merge.kif 6606-6606	Interval is an instance of binary function
(instance KappaFn BinaryFunction)	Merge.kif 5605-5605	Kappa is an instance of binary function
(instance LevelPlaneFn BinaryFunction)	Mid-level-ontology.kif 27417-27417	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 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 3083-3083	List concatenate is an instance of binary function
(instance ListOrderFn BinaryFunction)	Merge.kif 2988-2988	List order is an instance of binary function
(instance LogFn BinaryFunction)	Merge.kif 5002-5002	Log is an instance of binary function
(instance MagneticDeclinationFn BinaryFunction)	Geography.kif 3925-3925	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 6739-6739	Market is an instance of binary function
(instance MaxFn BinaryFunction)	Merge.kif 5010-5010	Max is an instance of binary function
(instance MaximalWeightedPathFn BinaryFunction)	Merge.kif 6055-6055	Maximal weighted path 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