(instance ImmediateFutureFn TotalValuedRelation)	Merge.kif 8527-8527	ImmediateFutureFn は 合計値関係 の instance では %n
(instance ImmediatePastFn TotalValuedRelation)	Merge.kif 8496-8496	ImmediatePastFn は 合計値関係 の instance では %n
(instance IntersectionFn TotalValuedRelation)	Merge.kif 5454-5454	IntersectionFn は 合計値関係 の instance では %n
(instance IntervalFn TotalValuedRelation)	Merge.kif 6582-6582	IntervalFn は 合計値関係 の instance では %n
(instance ListConcatenateFn TotalValuedRelation)	Merge.kif 3071-3071	ListConcatenateFn は 合計値関係 の instance では %n
(instance ListLengthFn TotalValuedRelation)	Merge.kif 3013-3013	ListLengthFn は 合計値関係 の instance では %n
(instance MaxFn TotalValuedRelation)	Merge.kif 4986-4986	MaxFn は 合計値関係 の instance では %n
(instance MaximalWeightedPathFn TotalValuedRelation)	Merge.kif 6031-6031	MaximalWeightedPathFn は 合計値関係 の instance では %n
(instance MeasureFn TotalValuedRelation)	Merge.kif 6347-6347	MeasureFn は 合計値関係 の instance では %n
(instance MereologicalDifferenceFn TotalValuedRelation)	Merge.kif 9828-9828	MereologicalDifferenceFn は 合計値関係 の instance では %n
(instance MereologicalProductFn TotalValuedRelation)	Merge.kif 9807-9807	MereologicalProductFn は 合計値関係 の instance では %n
(instance MereologicalSumFn TotalValuedRelation)	Merge.kif 9785-9785	MereologicalSumFn は 合計値関係 の instance では %n
(instance MinFn TotalValuedRelation)	Merge.kif 5012-5012	MinFn は 合計値関係 の instance では %n
(instance MinimalWeightedPathFn TotalValuedRelation)	Merge.kif 6009-6009	MinimalWeightedPathFn は 合計値関係 の instance では %n
(instance MultiplicationFn TotalValuedRelation)	Merge.kif 4698-4698	MultiplicationFn は 合計値関係 の instance では %n
(instance NumeratorFn TotalValuedRelation)	Merge.kif 5035-5035	NumeratorFn は 合計値関係 の instance では %n
(instance PastFn TotalValuedRelation)	Merge.kif 8478-8478	PastFn は 合計値関係 の instance では %n
(instance PerFn TotalValuedRelation)	Merge.kif 6629-6629	PerFn は 合計値関係 の instance では %n
(instance PowerSetFn TotalValuedRelation)	Merge.kif 796-796	PowerSetFn は 合計値関係 の instance では %n
(instance PredecessorFn TotalValuedRelation)	Merge.kif 5333-5333	PredecessorFn は 合計値関係 の instance では %n
(instance PremisesFn TotalValuedRelation)	Merge.kif 16878-16878	PremisesFn は 合計値関係 の instance では %n
(instance ProbabilityFn TotalValuedRelation)	Merge.kif 2571-2571	ProbabilityFn は 合計値関係 の instance では %n
(instance PropertyFn TotalValuedRelation)	Merge.kif 4273-4273	PropertyFn は 合計値関係 の instance では %n
(instance RadiusFn TotalValuedRelation)	Mid-level-ontology.kif 4962-4962	RadiusFn は 合計値関係 の instance では %n
(instance ReciprocalFn TotalValuedRelation)	Merge.kif 5069-5069	ReciprocalFn は 合計値関係 の instance では %n
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