(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