BinaryFunction

-------------------------


(instance EditionFn BinaryFunction) Merge.kif 15506-15506
(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 8611-8611
(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 2221-2221
(instance Mean1MinuteWindSpeedFn BinaryFunction) Weather.kif 2326-2326
(instance Mean2MinutesWindSpeedFn BinaryFunction) Weather.kif 2291-2291

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