(instance Mean3MinutesWindSpeedFn BinaryFunction)	Weather.kif 2252-2252	Three minute mean surface wind speed is an instance of binary function
(instance Mean3SecondWindSpeedFn BinaryFunction)	Weather.kif 1898-1898	Three second mean surface wind speed is an instance of binary function
(instance Mean3SecondWindSpeedListFn BinaryFunction)	Weather.kif 1992-1992	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 9849-9849	Mereological difference is an instance of binary function
(instance MereologicalProductFn BinaryFunction)	Merge.kif 9828-9828	Mereological product is an instance of binary function
(instance MereologicalSumFn BinaryFunction)	Merge.kif 9806-9806	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 8659-8659	Minute is an instance of binary function
(instance MonthFn BinaryFunction)	Merge.kif 8591-8591	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 31722-31722	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 8053-8053	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 14659-14659	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 8988-8988	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 8464-8464	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 17248-17248	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