BinaryFunction(binary function)

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


(instance FemaleLifeExpectancyAtBirthFn BinaryFunction) People.kif 401-401 Female life expectancy at birth is an instance of binary function
(instance FiscalYearStartingFn BinaryFunction) Economy.kif 3724-3724 Fiscal year starting is an instance of binary function
(instance GPIFn BinaryFunction) UXExperimentalTerms.kif 3358-3358 GPW is an instance of binary function
(instance GPSFn BinaryFunction) UXExperimentalTerms.kif 3325-3325 GPS is an instance of binary function
(instance GeographicPartTypeFn BinaryFunction) Geography.kif 6250-6250 GeographicPartTypeFn is an instance of binary function
(instance GraphPathFn BinaryFunction) Merge.kif 5713-5713 Graph path is an instance of binary function
(instance HourFn BinaryFunction) Merge.kif 8048-8048 Hour is an instance of binary function
(instance IntersectionFn BinaryFunction) Merge.kif 5133-5133 Intersection is an instance of binary function
(instance IntervalFn BinaryFunction) Merge.kif 6243-6243 Interval is an instance of binary function
(instance KappaFn BinaryFunction) Merge.kif 5263-5263 Kappa is an instance of binary function
(instance LifeExpectancyAtBirthFn BinaryFunction) People.kif 309-309 Life expectancy at birth is an instance of binary function
(instance LiftFn BinaryFunction) UXExperimentalTerms.kif 4747-4747 Lift is an instance of binary function
(instance LineFn BinaryFunction) ComputingBrands.kif 2585-2585 Line is an instance of binary function
(instance ListConcatenateFn BinaryFunction) Merge.kif 2959-2959 List concatenate is an instance of binary function
(instance ListOrderFn BinaryFunction) Merge.kif 2864-2864 List order is an instance of binary function
(instance LogFn BinaryFunction) Merge.kif 4730-4730 Log is an instance of binary function
(instance MaleLifeExpectancyAtBirthFn BinaryFunction) People.kif 356-356 Male life expectancy at birth is an instance of binary function
(instance MaxFn BinaryFunction) Merge.kif 4738-4738 Max is an instance of binary function
(instance MaximalWeightedPathFn BinaryFunction) Merge.kif 5688-5688 Maximal weighted path is an instance of binary function
(instance MealAttributeFn BinaryFunction) Food.kif 237-237 Meal attribute function is an instance of binary function
(instance MeasureFn BinaryFunction) Merge.kif 6008-6008 Measure is an instance of binary function
(instance MemberRoleFn BinaryFunction) Government.kif 1735-1735 Member role is an instance of binary function
(instance MereologicalDifferenceFn BinaryFunction) Merge.kif 9211-9211 Mereological difference is an instance of binary function
(instance MereologicalProductFn BinaryFunction) Merge.kif 9190-9190 Mereological product is an instance of binary function
(instance MereologicalSumFn BinaryFunction) Merge.kif 9168-9168 Mereological sum 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners