(instance Mean3MinutesWindSpeedFn BinaryFunction)	Weather.kif 2256-2256	3分钟平均地面风速 是 二元函数 的 instance
(instance Mean3SecondWindSpeedFn BinaryFunction)	Weather.kif 1902-1902	3秒平均地面风速 是 二元函数 的 instance
(instance Mean3SecondWindSpeedListFn BinaryFunction)	Weather.kif 1996-1996	平均3秒风速表列 是 二元函数 的 instance
(instance MeasureFn BinaryFunction)	Merge.kif 6346-6346	计量函数 是 二元函数 的 instance
(instance MemberRoleFn BinaryFunction)	Government.kif 1781-1781	成员角色 是 二元函数 的 instance
(instance MereologicalDifferenceFn BinaryFunction)	Merge.kif 9827-9827	部分差异函数 是 二元函数 的 instance
(instance MereologicalProductFn BinaryFunction)	Merge.kif 9806-9806	部分积函数 是 二元函数 的 instance
(instance MereologicalSumFn BinaryFunction)	Merge.kif 9784-9784	部分总和函数 是 二元函数 的 instance
(instance MigrantsPerThousandFn BinaryFunction)	People.kif 137-137	每千人移民 是 二元函数 的 instance
(instance MinFn BinaryFunction)	Merge.kif 5008-5008	较小值函数 是 二元函数 的 instance
(instance MinimalWeightedPathFn BinaryFunction)	Merge.kif 6008-6008	最低加权路径函数 是 二元函数 的 instance
(instance MinuteFn BinaryFunction)	Merge.kif 8637-8637	分函数 是 二元函数 的 instance
(instance MonthFn BinaryFunction)	Merge.kif 8569-8569	月函数 是 二元函数 的 instance
(instance MultiplicationFn BinaryFunction)	Merge.kif 4694-4694	乘法函数 是 二元函数 的 instance
(instance OrganismPopulationFn BinaryFunction)	Mid-level-ontology.kif 31726-31726	OrganismPopulationFn 是 二元函数 的 instance
(instance PPIFn BinaryFunction)	UXExperimentalTerms.kif 3082-3082	PPIFn 是 二元函数 的 instance
(instance PerCapitaFn BinaryFunction)	Mid-level-ontology.kif 8054-8054	PerCapitaFn 是 二元函数 的 instance
(instance PerFn BinaryFunction)	Merge.kif 6628-6628	每 是 二元函数 的 instance
(instance PeriodicalIssueFn BinaryFunction)	Mid-level-ontology.kif 14660-14660	期刊编号函数 是 二元函数 的 instance
(instance PopulationGrowthFn BinaryFunction)	People.kif 35-35	人口增长 是 二元函数 的 instance
(instance QuarterFn BinaryFunction)	Merge.kif 8966-8966	QuarterFn 是 二元函数 的 instance
(instance ReachingMilitaryAgeAnnuallyMaleFn BinaryFunction)	Military.kif 923-923	每年达到军龄的男性 是 二元函数 的 instance
(instance RecurrentTimeIntervalFn BinaryFunction)	Merge.kif 8442-8442	重复发生时间函数 是 二元函数 的 instance
(instance RelativeComplementFn BinaryFunction)	Merge.kif 5464-5464	相对补集函数 是 二元函数 的 instance
(instance RelativeTimeFn BinaryFunction)	Merge.kif 17226-17226	相对时间函数 是 二元函数 的 instance
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