(instance MaximalWeightedPathFn BinaryFunction)	Merge.kif 6080-6080	MaximalWeightedPathFn is an instance of binary function
(instance MealAttributeFn BinaryFunction)	Food.kif 1897-1897	MealAttributeFn is an instance of binary function
(instance Mean10MinutesWindSpeedFn BinaryFunction)	Weather.kif 3545-3545	Mean10MinutesWindSpeedFn is an instance of binary function
(instance Mean1MinuteWindSpeedFn BinaryFunction)	Weather.kif 3650-3650	Mean1MinuteWindSpeedFn is an instance of binary function
(instance Mean2MinutesWindSpeedFn BinaryFunction)	Weather.kif 3615-3615	Mean2MinutesWindSpeedFn is an instance of binary function
(instance Mean3MinutesWindSpeedFn BinaryFunction)	Weather.kif 3580-3580	Mean3MinutesWindSpeedFn is an instance of binary function
(instance Mean3SecondWindSpeedFn BinaryFunction)	Weather.kif 3226-3226	Mean3SecondWindSpeedFn is an instance of binary function
(instance Mean3SecondWindSpeedListFn BinaryFunction)	Weather.kif 3320-3320	Mean3SecondWindSpeedListFn is an instance of binary function
(instance MeasureFn BinaryFunction)	Merge.kif 6396-6396	MeasureFn is an instance of binary function
(instance MemberRoleFn BinaryFunction)	Government.kif 1743-1743	MemberRoleFn is an instance of binary function
(instance MereologicalDifferenceFn BinaryFunction)	Merge.kif 9987-9987	MereologicalDifferenceFn is an instance of binary function
(instance MereologicalProductFn BinaryFunction)	Merge.kif 9966-9966	MereologicalProductFn is an instance of binary function
(instance MereologicalSumFn BinaryFunction)	Merge.kif 9944-9944	MereologicalSumFn is an instance of binary function
(instance MigrantsPerThousandFn BinaryFunction)	People.kif 137-137	MigrantsPerThousandFn is an instance of binary function
(instance MinFn BinaryFunction)	Merge.kif 5061-5061	MinFn is an instance of binary function
(instance MinimalWeightedPathFn BinaryFunction)	Merge.kif 6058-6058	MinimalWeightedPathFn is an instance of binary function
(instance MinuteFn BinaryFunction)	Merge.kif 8772-8772	MinuteFn is an instance of binary function
(instance MonthFn BinaryFunction)	Merge.kif 8704-8704	MonthFn is an instance of binary function
(instance MultiplicationFn BinaryFunction)	Merge.kif 4747-4747	MultiplicationFn is an instance of binary function
(instance NumberOfDaysInMonthFn BinaryFunction)	Weather.kif 675-675	NumberOfDaysInMonthFn is an instance of binary function
(instance OrganismPopulationFn BinaryFunction)	Mid-level-ontology.kif 33659-33659	OrganismPopulationFn is an instance of binary function
(instance PPIFn BinaryFunction)	UXExperimentalTerms.kif 3081-3081	PPIFn is an instance of binary function
(instance PerCapitaFn BinaryFunction)	Mid-level-ontology.kif 9216-9216	PerCapitaFn is an instance of binary function
(instance PerFn BinaryFunction)	Merge.kif 6678-6678	PerFn is an instance of binary function
(instance PeriodicalIssueFn BinaryFunction)	Mid-level-ontology.kif 16020-16020	PeriodicalIssueFn 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