BinaryFunction

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


(instance GPIFn BinaryFunction) UXExperimentalTerms.kif 3360-3360
(instance GPSFn BinaryFunction) UXExperimentalTerms.kif 3327-3327
(instance GeographicPartTypeFn BinaryFunction) Geography.kif 6234-6234
(instance GraphPathFn BinaryFunction) Merge.kif 8684-8684
(instance HourFn BinaryFunction) Merge.kif 12186-12186
(instance IntersectionFn BinaryFunction) Merge.kif 7858-7858
(instance IntervalFn BinaryFunction) Merge.kif 9483-9483
(instance KappaFn BinaryFunction) Merge.kif 8064-8064
(instance LifeExpectancyAtBirthFn BinaryFunction) People.kif 309-309
(instance LiftFn BinaryFunction) UXExperimentalTerms.kif 4740-4740
(instance LineFn BinaryFunction) ComputingBrands.kif 2426-2426
(instance ListConcatenateFn BinaryFunction) Merge.kif 4858-4858
(instance ListOrderFn BinaryFunction) Merge.kif 4746-4746
(instance LogFn BinaryFunction) Merge.kif 7310-7310
(instance MaleLifeExpectancyAtBirthFn BinaryFunction) People.kif 356-356
(instance MaxFn BinaryFunction) Merge.kif 7324-7324
(instance MaximalWeightedPathFn BinaryFunction) Merge.kif 8653-8653
(instance MealAttributeFn BinaryFunction) Food.kif 286-286
(instance MeasureFn BinaryFunction) Merge.kif 9166-9166
(instance MemberRoleFn BinaryFunction) Government.kif 1741-1741
(instance MereologicalDifferenceFn BinaryFunction) Merge.kif 13567-13567
(instance MereologicalProductFn BinaryFunction) Merge.kif 13540-13540
(instance MereologicalSumFn BinaryFunction) Merge.kif 13512-13512
(instance MigrantsPerThousandFn BinaryFunction) People.kif 155-155
(instance MinFn BinaryFunction) Merge.kif 7356-7356

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