(instance Mean3MinutesWindSpeedFn BinaryFunction)	Weather.kif 2256-2256	Three minute mean surface wind speed is an instance of binary function
(instance Mean3SecondWindSpeedFn BinaryFunction)	Weather.kif 1902-1902	Three second mean surface wind speed is an instance of binary function
(instance Mean3SecondWindSpeedListFn BinaryFunction)	Weather.kif 1996-1996	Mean three second wind speed list is an instance of binary function
(instance MeasureFn BinaryFunction)	Merge.kif 6346-6346	Measure is an instance of binary function
(instance MemberRoleFn BinaryFunction)	Government.kif 1781-1781	Member role is an instance of binary function
(instance MereologicalDifferenceFn BinaryFunction)	Merge.kif 9827-9827	Mereological difference is an instance of binary function
(instance MereologicalProductFn BinaryFunction)	Merge.kif 9806-9806	Mereological product is an instance of binary function
(instance MereologicalSumFn BinaryFunction)	Merge.kif 9784-9784	Mereological sum is an instance of binary function
(instance MigrantsPerThousandFn BinaryFunction)	People.kif 137-137	Migrants per thousand is an instance of binary function
(instance MinFn BinaryFunction)	Merge.kif 5008-5008	Min is an instance of binary function
(instance MinimalWeightedPathFn BinaryFunction)	Merge.kif 6008-6008	Minimal weighted path is an instance of binary function
(instance MinuteFn BinaryFunction)	Merge.kif 8637-8637	Minute is an instance of binary function
(instance MonthFn BinaryFunction)	Merge.kif 8569-8569	Month is an instance of binary function
(instance MultiplicationFn BinaryFunction)	Merge.kif 4694-4694	Multiplication is an instance of binary function
(instance OrganismPopulationFn BinaryFunction)	Mid-level-ontology.kif 31726-31726	Population of organisms is an instance of binary function
(instance PPIFn BinaryFunction)	UXExperimentalTerms.kif 3082-3082	Qualifying purchases per user per interval is an instance of binary function
(instance PerCapitaFn BinaryFunction)	Mid-level-ontology.kif 8054-8054	Per capita fn is an instance of binary function
(instance PerFn BinaryFunction)	Merge.kif 6628-6628	Per is an instance of binary function
(instance PeriodicalIssueFn BinaryFunction)	Mid-level-ontology.kif 14660-14660	Periodical issue is an instance of binary function
(instance PopulationGrowthFn BinaryFunction)	People.kif 35-35	Population growth is an instance of binary function
(instance QuarterFn BinaryFunction)	Merge.kif 8966-8966	Quarter fn is an instance of binary function
(instance ReachingMilitaryAgeAnnuallyMaleFn BinaryFunction)	Military.kif 923-923	Reaching military age annually male is an instance of binary function
(instance RecurrentTimeIntervalFn BinaryFunction)	Merge.kif 8442-8442	Recurrent time interval is an instance of binary function
(instance RelativeComplementFn BinaryFunction)	Merge.kif 5464-5464	Relative complement is an instance of binary function
(instance RelativeTimeFn BinaryFunction)	Merge.kif 17226-17226	Relative time 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