(instance EditionFn BinaryFunction)	Merge.kif 15528-15528
(instance ExponentiationFn BinaryFunction)	Merge.kif 4816-4816
(instance FemaleLifeExpectancyAtBirthFn BinaryFunction)	People.kif 393-393
(instance FiscalYearStartingFn BinaryFunction)	Economy.kif 3721-3721
(instance GPIFn BinaryFunction)	UXExperimentalTerms.kif 3156-3156
(instance GPSFn BinaryFunction)	UXExperimentalTerms.kif 3123-3123
(instance GeographicPartTypeFn BinaryFunction)	Geography.kif 6912-6912
(instance GraphPathFn BinaryFunction)	Merge.kif 6052-6052
(instance HourFn BinaryFunction)	Merge.kif 8633-8633
(instance IntersectionFn BinaryFunction)	Merge.kif 5453-5453
(instance IntervalFn BinaryFunction)	Merge.kif 6581-6581
(instance KappaFn BinaryFunction)	Merge.kif 5580-5580
(instance LifeExpectancyAtBirthFn BinaryFunction)	People.kif 296-296
(instance LiftFn BinaryFunction)	UXExperimentalTerms.kif 4549-4549
(instance LineFn BinaryFunction)	ComputingBrands.kif 2616-2616
(instance ListConcatenateFn BinaryFunction)	Merge.kif 3070-3070
(instance ListOrderFn BinaryFunction)	Merge.kif 2975-2975
(instance LogFn BinaryFunction)	Merge.kif 4974-4974
(instance MaleLifeExpectancyAtBirthFn BinaryFunction)	People.kif 345-345
(instance MaxFn BinaryFunction)	Merge.kif 4982-4982
(instance MaximalWeightedPathFn BinaryFunction)	Merge.kif 6030-6030
(instance MealAttributeFn BinaryFunction)	Food.kif 1891-1891
(instance Mean10MinutesWindSpeedFn BinaryFunction)	Weather.kif 2217-2217
(instance Mean1MinuteWindSpeedFn BinaryFunction)	Weather.kif 2322-2322
(instance Mean2MinutesWindSpeedFn BinaryFunction)	Weather.kif 2287-2287
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