BinaryFunction
(
instance
Mean3MinutesWindSpeedFn
BinaryFunction
)
Weather.kif 2239-2239
例
Mean3MinutesWindSpeedFn
and
BinaryFunction
(
instance
Mean3SecondWindSpeedFn
BinaryFunction
)
Weather.kif 1885-1885
例
Mean3SecondWindSpeedFn
and
BinaryFunction
(
instance
Mean3SecondWindSpeedListFn
BinaryFunction
)
Weather.kif 1979-1979
例
Mean3SecondWindSpeedListFn
and
BinaryFunction
(
instance
MeasureFn
BinaryFunction
)
Merge.kif 6347-6347
例
測量
and
BinaryFunction
(
instance
MemberRoleFn
BinaryFunction
)
Government.kif 1745-1745
例
成員角色
and
BinaryFunction
(
instance
MereologicalDifferenceFn
BinaryFunction
)
Merge.kif 9863-9863
例
分類差異
and
BinaryFunction
(
instance
MereologicalProductFn
BinaryFunction
)
Merge.kif 9842-9842
例
mereological產品
and
BinaryFunction
(
instance
MereologicalSumFn
BinaryFunction
)
Merge.kif 9820-9820
例
mereological 總和
and
BinaryFunction
(
instance
MigrantsPerThousandFn
BinaryFunction
)
People.kif 137-137
例
每千人移民
and
BinaryFunction
(
instance
MinFn
BinaryFunction
)
Merge.kif 5009-5009
例
分
and
BinaryFunction
(
instance
MinimalWeightedPathFn
BinaryFunction
)
Merge.kif 6009-6009
例
最小加權路徑
and
BinaryFunction
(
instance
MinuteFn
BinaryFunction
)
Merge.kif 8673-8673
例
分
and
BinaryFunction
(
instance
MonthFn
BinaryFunction
)
Merge.kif 8605-8605
例
月
and
BinaryFunction
(
instance
MultiplicationFn
BinaryFunction
)
Merge.kif 4695-4695
例
乘法
and
BinaryFunction
(
instance
OrganismPopulationFn
BinaryFunction
)
Mid-level-ontology.kif 31758-31758
例
OrganismPopulationFn
and
BinaryFunction
(
instance
PPIFn
BinaryFunction
)
UXExperimentalTerms.kif 3082-3082
例
PPIFn
and
BinaryFunction
(
instance
PerCapitaFn
BinaryFunction
)
Mid-level-ontology.kif 8081-8081
例
PerCapitaFn
and
BinaryFunction
(
instance
PerFn
BinaryFunction
)
Merge.kif 6629-6629
例
每
and
BinaryFunction
(
instance
PeriodicalIssueFn
BinaryFunction
)
Mid-level-ontology.kif 14687-14687
例
定期發行
and
BinaryFunction
(
instance
PopulationGrowthFn
BinaryFunction
)
People.kif 35-35
例
人口增長
and
BinaryFunction
(
instance
QuarterFn
BinaryFunction
)
Merge.kif 9002-9002
例
QuarterFn
and
BinaryFunction
(
instance
ReachingMilitaryAgeAnnuallyMaleFn
BinaryFunction
)
Military.kif 914-914
例
每年達到軍齡的男性
and
BinaryFunction
(
instance
RecurrentTimeIntervalFn
BinaryFunction
)
Merge.kif 8478-8478
例
經常性時間間隔
and
BinaryFunction
(
instance
RelativeComplementFn
BinaryFunction
)
Merge.kif 5465-5465
例
相對補充
and
BinaryFunction
(
instance
RelativeTimeFn
BinaryFunction
)
Merge.kif 17297-17297
例
相對時間
and
BinaryFunction
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