TotalValuedRelation
(总值关系)
(
instance
ImmediateFutureFn
TotalValuedRelation
)
Merge.kif 8549-8549
紧接未来函数
是
总值关系
的
instance
(
instance
ImmediatePastFn
TotalValuedRelation
)
Merge.kif 8518-8518
紧接过去函数
是
总值关系
的
instance
(
instance
IntersectionFn
TotalValuedRelation
)
Merge.kif 5454-5454
交集函数
是
总值关系
的
instance
(
instance
IntervalFn
TotalValuedRelation
)
Merge.kif 6582-6582
间隔函数
是
总值关系
的
instance
(
instance
ListConcatenateFn
TotalValuedRelation
)
Merge.kif 3071-3071
连接表列函数
是
总值关系
的
instance
(
instance
ListLengthFn
TotalValuedRelation
)
Merge.kif 3013-3013
找出表列长度的函数
是
总值关系
的
instance
(
instance
MaxFn
TotalValuedRelation
)
Merge.kif 4986-4986
较大值函数
是
总值关系
的
instance
(
instance
MaximalWeightedPathFn
TotalValuedRelation
)
Merge.kif 6031-6031
最高加权路径函数
是
总值关系
的
instance
(
instance
MeasureFn
TotalValuedRelation
)
Merge.kif 6347-6347
计量函数
是
总值关系
的
instance
(
instance
MereologicalDifferenceFn
TotalValuedRelation
)
Merge.kif 9850-9850
部分差异函数
是
总值关系
的
instance
(
instance
MereologicalProductFn
TotalValuedRelation
)
Merge.kif 9829-9829
部分积函数
是
总值关系
的
instance
(
instance
MereologicalSumFn
TotalValuedRelation
)
Merge.kif 9807-9807
部分总和函数
是
总值关系
的
instance
(
instance
MinFn
TotalValuedRelation
)
Merge.kif 5012-5012
较小值函数
是
总值关系
的
instance
(
instance
MinimalWeightedPathFn
TotalValuedRelation
)
Merge.kif 6009-6009
最低加权路径函数
是
总值关系
的
instance
(
instance
MultiplicationFn
TotalValuedRelation
)
Merge.kif 4698-4698
乘法函数
是
总值关系
的
instance
(
instance
NumeratorFn
TotalValuedRelation
)
Merge.kif 5035-5035
分子函数
是
总值关系
的
instance
(
instance
PastFn
TotalValuedRelation
)
Merge.kif 8500-8500
过去函数
是
总值关系
的
instance
(
instance
PerFn
TotalValuedRelation
)
Merge.kif 6629-6629
每
是
总值关系
的
instance
(
instance
PowerSetFn
TotalValuedRelation
)
Merge.kif 796-796
幂集函数
是
总值关系
的
instance
(
instance
PredecessorFn
TotalValuedRelation
)
Merge.kif 5333-5333
前继数函数
是
总值关系
的
instance
(
instance
PremisesFn
TotalValuedRelation
)
Merge.kif 16900-16900
前提函数
是
总值关系
的
instance
(
instance
ProbabilityFn
TotalValuedRelation
)
Merge.kif 2571-2571
表示机率的函数
是
总值关系
的
instance
(
instance
PropertyFn
TotalValuedRelation
)
Merge.kif 4273-4273
属于财产函数
是
总值关系
的
instance
(
instance
RadiusFn
TotalValuedRelation
)
Mid-level-ontology.kif 4956-4956
半径
是
总值关系
的
instance
(
instance
ReciprocalFn
TotalValuedRelation
)
Merge.kif 5069-5069
倒数函数
是
总值关系
的
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