BinaryFunction
(binary function)
(
instance
EditionFn
BinaryFunction
)
Merge.kif 15506-15506
Edition
is an
instance
of
binary function
(
instance
ExponentiationFn
BinaryFunction
)
Merge.kif 4816-4816
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 3721-3721
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 6912-6912
Geographic part type fn
is an
instance
of
binary function
(
instance
GraphPathFn
BinaryFunction
)
Merge.kif 6052-6052
Graph path
is an
instance
of
binary function
(
instance
HourFn
BinaryFunction
)
Merge.kif 8611-8611
Hour
is an
instance
of
binary function
(
instance
IntersectionFn
BinaryFunction
)
Merge.kif 5453-5453
Intersection
is an
instance
of
binary function
(
instance
IntervalFn
BinaryFunction
)
Merge.kif 6581-6581
Interval
is an
instance
of
binary function
(
instance
KappaFn
BinaryFunction
)
Merge.kif 5580-5580
Kappa
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 3070-3070
List concatenate
is an
instance
of
binary function
(
instance
ListOrderFn
BinaryFunction
)
Merge.kif 2975-2975
List order
is an
instance
of
binary function
(
instance
LogFn
BinaryFunction
)
Merge.kif 4974-4974
Log
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
MaxFn
BinaryFunction
)
Merge.kif 4982-4982
Max
is an
instance
of
binary function
(
instance
MaximalWeightedPathFn
BinaryFunction
)
Merge.kif 6030-6030
Maximal weighted path
is an
instance
of
binary function
(
instance
MealAttributeFn
BinaryFunction
)
Food.kif 1891-1891
Meal attribute function
is an
instance
of
binary function
(
instance
Mean10MinutesWindSpeedFn
BinaryFunction
)
Weather.kif 2221-2221
Ten minute mean surface wind speed
is an
instance
of
binary function
(
instance
Mean1MinuteWindSpeedFn
BinaryFunction
)
Weather.kif 2326-2326
One minute mean surface wind speed
is an
instance
of
binary function
(
instance
Mean2MinutesWindSpeedFn
BinaryFunction
)
Weather.kif 2291-2291
Two minute mean surface wind speed
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