BinaryFunction

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


(instance EditionFn BinaryFunction) Merge.kif 15359-15359
(instance ExponentiationFn BinaryFunction) Merge.kif 4751-4751
(instance FemaleLifeExpectancyAtBirthFn BinaryFunction) People.kif 419-419
(instance FiscalYearStartingFn BinaryFunction) Economy.kif 3732-3732
(instance GPIFn BinaryFunction) UXExperimentalTerms.kif 3362-3362
(instance GPSFn BinaryFunction) UXExperimentalTerms.kif 3329-3329
(instance GeographicPartTypeFn BinaryFunction) Geography.kif 6612-6612
(instance GraphPathFn BinaryFunction) Merge.kif 5991-5991
(instance HourFn BinaryFunction) Merge.kif 8548-8548
(instance IntersectionFn BinaryFunction) Merge.kif 5384-5384
(instance IntervalFn BinaryFunction) Merge.kif 6520-6520
(instance KappaFn BinaryFunction) Merge.kif 5511-5511
(instance LifeExpectancyAtBirthFn BinaryFunction) People.kif 322-322
(instance LiftFn BinaryFunction) UXExperimentalTerms.kif 4754-4754
(instance LineFn BinaryFunction) ComputingBrands.kif 2616-2616
(instance ListConcatenateFn BinaryFunction) Merge.kif 3029-3029
(instance ListOrderFn BinaryFunction) Merge.kif 2934-2934
(instance LogFn BinaryFunction) Merge.kif 4909-4909
(instance MaleLifeExpectancyAtBirthFn BinaryFunction) People.kif 371-371
(instance MaxFn BinaryFunction) Merge.kif 4917-4917
(instance MaximalWeightedPathFn BinaryFunction) Merge.kif 5965-5965
(instance MealAttributeFn BinaryFunction) Food.kif 219-219
(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