BinaryFunction
(二元函数)
(
instance
Mean3MinutesWindSpeedFn
BinaryFunction
)
Weather.kif 2252-2252
3分钟平均地面风速
是
二元函数
的
instance
(
instance
Mean3SecondWindSpeedFn
BinaryFunction
)
Weather.kif 1898-1898
3秒平均地面风速
是
二元函数
的
instance
(
instance
Mean3SecondWindSpeedListFn
BinaryFunction
)
Weather.kif 1992-1992
平均3秒风速表列
是
二元函数
的
instance
(
instance
MeasureFn
BinaryFunction
)
Merge.kif 6346-6346
计量函数
是
二元函数
的
instance
(
instance
MemberRoleFn
BinaryFunction
)
Government.kif 1781-1781
成员角色
是
二元函数
的
instance
(
instance
MereologicalDifferenceFn
BinaryFunction
)
Merge.kif 9849-9849
部分差异函数
是
二元函数
的
instance
(
instance
MereologicalProductFn
BinaryFunction
)
Merge.kif 9828-9828
部分积函数
是
二元函数
的
instance
(
instance
MereologicalSumFn
BinaryFunction
)
Merge.kif 9806-9806
部分总和函数
是
二元函数
的
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 8659-8659
分函数
是
二元函数
的
instance
(
instance
MonthFn
BinaryFunction
)
Merge.kif 8591-8591
月函数
是
二元函数
的
instance
(
instance
MultiplicationFn
BinaryFunction
)
Merge.kif 4694-4694
乘法函数
是
二元函数
的
instance
(
instance
OrganismPopulationFn
BinaryFunction
)
Mid-level-ontology.kif 31722-31722
OrganismPopulationFn
是
二元函数
的
instance
(
instance
PPIFn
BinaryFunction
)
UXExperimentalTerms.kif 3082-3082
PPIFn
是
二元函数
的
instance
(
instance
PerCapitaFn
BinaryFunction
)
Mid-level-ontology.kif 8053-8053
PerCapitaFn
是
二元函数
的
instance
(
instance
PerFn
BinaryFunction
)
Merge.kif 6628-6628
每
是
二元函数
的
instance
(
instance
PeriodicalIssueFn
BinaryFunction
)
Mid-level-ontology.kif 14659-14659
期刊编号函数
是
二元函数
的
instance
(
instance
PopulationGrowthFn
BinaryFunction
)
People.kif 35-35
人口增长
是
二元函数
的
instance
(
instance
QuarterFn
BinaryFunction
)
Merge.kif 8988-8988
QuarterFn
是
二元函数
的
instance
(
instance
ReachingMilitaryAgeAnnuallyMaleFn
BinaryFunction
)
Military.kif 923-923
每年达到军龄的男性
是
二元函数
的
instance
(
instance
RecurrentTimeIntervalFn
BinaryFunction
)
Merge.kif 8464-8464
重复发生时间函数
是
二元函数
的
instance
(
instance
RelativeComplementFn
BinaryFunction
)
Merge.kif 5464-5464
相对补集函数
是
二元函数
的
instance
(
instance
RelativeTimeFn
BinaryFunction
)
Merge.kif 17248-17248
相对时间函数
是
二元函数
的
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