(instance ImmediateFutureFn TotalValuedRelation)	Merge.kif 8527-8527	紧接未来函数 是 总值关系 的 instance
(instance ImmediatePastFn TotalValuedRelation)	Merge.kif 8496-8496	紧接过去函数 是 总值关系 的 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 9828-9828	部分差异函数 是 总值关系 的 instance
(instance MereologicalProductFn TotalValuedRelation)	Merge.kif 9807-9807	部分积函数 是 总值关系 的 instance
(instance MereologicalSumFn TotalValuedRelation)	Merge.kif 9785-9785	部分总和函数 是 总值关系 的 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 8478-8478	过去函数 是 总值关系 的 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 16878-16878	前提函数 是 总值关系 的 instance
(instance ProbabilityFn TotalValuedRelation)	Merge.kif 2571-2571	表示机率的函数 是 总值关系 的 instance
(instance PropertyFn TotalValuedRelation)	Merge.kif 4273-4273	属于财产函数 是 总值关系 的 instance
(instance RadiusFn TotalValuedRelation)	Mid-level-ontology.kif 4962-4962	半径 是 总值关系 的 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