(instance Mean3MinutesWindSpeedFn BinaryFunction)	Weather.kif 2256-2256
(instance Mean3SecondWindSpeedFn BinaryFunction)	Weather.kif 1902-1902
(instance Mean3SecondWindSpeedListFn BinaryFunction)	Weather.kif 1996-1996
(instance MeasureFn BinaryFunction)	Merge.kif 6346-6346
(instance MemberRoleFn BinaryFunction)	Government.kif 1781-1781
(instance MereologicalDifferenceFn BinaryFunction)	Merge.kif 9827-9827
(instance MereologicalProductFn BinaryFunction)	Merge.kif 9806-9806
(instance MereologicalSumFn BinaryFunction)	Merge.kif 9784-9784
(instance MigrantsPerThousandFn BinaryFunction)	People.kif 137-137
(instance MinFn BinaryFunction)	Merge.kif 5008-5008
(instance MinimalWeightedPathFn BinaryFunction)	Merge.kif 6008-6008
(instance MinuteFn BinaryFunction)	Merge.kif 8637-8637
(instance MonthFn BinaryFunction)	Merge.kif 8569-8569
(instance MultiplicationFn BinaryFunction)	Merge.kif 4694-4694
(instance OrganismPopulationFn BinaryFunction)	Mid-level-ontology.kif 31726-31726
(instance PPIFn BinaryFunction)	UXExperimentalTerms.kif 3082-3082
(instance PerCapitaFn BinaryFunction)	Mid-level-ontology.kif 8054-8054
(instance PerFn BinaryFunction)	Merge.kif 6628-6628
(instance PeriodicalIssueFn BinaryFunction)	Mid-level-ontology.kif 14660-14660
(instance PopulationGrowthFn BinaryFunction)	People.kif 35-35
(instance QuarterFn BinaryFunction)	Merge.kif 8966-8966
(instance ReachingMilitaryAgeAnnuallyMaleFn BinaryFunction)	Military.kif 923-923
(instance RecurrentTimeIntervalFn BinaryFunction)	Merge.kif 8442-8442
(instance RelativeComplementFn BinaryFunction)	Merge.kif 5464-5464
(instance RelativeTimeFn BinaryFunction)	Merge.kif 17226-17226
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