TotalValuedRelation
(总值关系)
(
instance
RelativeComplementFn
TotalValuedRelation
)
Merge.kif 5465-5465
相对补集函数
是
总值关系
的
instance
(
instance
RelativeTimeFn
TotalValuedRelation
)
Merge.kif 17228-17228
相对时间函数
是
总值关系
的
instance
(
instance
RoundFn
TotalValuedRelation
)
Merge.kif 5169-5169
四舍五入函数
是
总值关系
的
instance
(
instance
SignumFn
TotalValuedRelation
)
Merge.kif 5188-5188
正或负值函数
是
总值关系
的
instance
(
instance
SineFn
TotalValuedRelation
)
Merge.kif 5210-5210
正弦函数
是
总值关系
的
instance
(
instance
SpeedFn
TotalValuedRelation
)
Merge.kif 6655-6655
速率函数
是
总值关系
的
instance
(
instance
StringConcatenateFn
TotalValuedRelation
)
Mid-level-ontology.kif 24471-24471
StringConcatenateFn
是
总值关系
的
instance
(
instance
StringLengthFn
TotalValuedRelation
)
Mid-level-ontology.kif 24444-24444
StringLengthFn
是
总值关系
的
instance
(
instance
SubtractionFn
TotalValuedRelation
)
Merge.kif 4725-4725
减法函数
是
总值关系
的
instance
(
instance
SuccessorFn
TotalValuedRelation
)
Merge.kif 5300-5300
后继数函数
是
总值关系
的
instance
(
instance
TangentFn
TotalValuedRelation
)
Merge.kif 5230-5230
正切函数
是
总值关系
的
instance
(
instance
TemporalCompositionFn
TotalValuedRelation
)
Merge.kif 9372-9372
时间分拆函数
是
总值关系
的
instance
(
instance
UnionFn
TotalValuedRelation
)
Merge.kif 5428-5428
结合函数
是
总值关系
的
instance
(
instance
UnitFn
TotalValuedRelation
)
Merge.kif 6610-6610
UnitFn
是
总值关系
的
instance
(
instance
VelocityFn
TotalValuedRelation
)
Merge.kif 6667-6667
速度函数
是
总值关系
的
instance
(
instance
WealthFn
TotalValuedRelation
)
Merge.kif 7791-7791
财富函数
是
总值关系
的
instance
(
instance
WhenFn
TotalValuedRelation
)
Merge.kif 8467-8467
何时函数
是
总值关系
的
instance
(
instance
WhereFn
TotalValuedRelation
)
Merge.kif 4221-4221
表示位置的函数
是
总值关系
的
instance
(
instance
YearFn
TotalValuedRelation
)
Merge.kif 8554-8554
年函数
是
总值关系
的
instance
(
instance
ancestor
TotalValuedRelation
)
Merge.kif 16348-16348
祖先
是
总值关系
的
instance
(
instance
angularMeasure
TotalValuedRelation
)
Merge.kif 17866-17866
圆周角度测量
是
总值关系
的
instance
(
instance
approximateDiameter
TotalValuedRelation
)
Mid-level-ontology.kif 17946-17946
近似直径
是
总值关系
的
instance
(
instance
attribute
TotalValuedRelation
)
Merge.kif 1717-1717
属于
是
总值关系
的
instance
(
instance
caliber
TotalValuedRelation
)
MilitaryDevices.kif 209-209
口径
是
总值关系
的
instance
(
instance
changesLocation
TotalValuedRelation
)
Merge.kif 10991-10991
改变位置
是
总值关系
的
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