(instance RelativeComplementFn TotalValuedRelation)	Merge.kif 5465-5465	RelativeComplementFn は 合計値関係 の instance では %n
(instance RelativeTimeFn TotalValuedRelation)	Merge.kif 17228-17228	RelativeTimeFn は 合計値関係 の instance では %n
(instance RoundFn TotalValuedRelation)	Merge.kif 5169-5169	RoundFn は 合計値関係 の instance では %n
(instance SignumFn TotalValuedRelation)	Merge.kif 5188-5188	SignumFn は 合計値関係 の instance では %n
(instance SineFn TotalValuedRelation)	Merge.kif 5210-5210	SineFn は 合計値関係 の instance では %n
(instance SpeedFn TotalValuedRelation)	Merge.kif 6655-6655	SpeedFn は 合計値関係 の instance では %n
(instance StringConcatenateFn TotalValuedRelation)	Mid-level-ontology.kif 24471-24471	StringConcatenateFn は 合計値関係 の instance では %n
(instance StringLengthFn TotalValuedRelation)	Mid-level-ontology.kif 24444-24444	StringLengthFn は 合計値関係 の instance では %n
(instance SubtractionFn TotalValuedRelation)	Merge.kif 4725-4725	SubtractionFn は 合計値関係 の instance では %n
(instance SuccessorFn TotalValuedRelation)	Merge.kif 5300-5300	SuccessorFn は 合計値関係 の instance では %n
(instance TangentFn TotalValuedRelation)	Merge.kif 5230-5230	TangentFn は 合計値関係 の instance では %n
(instance TemporalCompositionFn TotalValuedRelation)	Merge.kif 9372-9372	TemporalCompositionFn は 合計値関係 の instance では %n
(instance UnionFn TotalValuedRelation)	Merge.kif 5428-5428	UnionFn は 合計値関係 の instance では %n
(instance UnitFn TotalValuedRelation)	Merge.kif 6610-6610	UnitFn は 合計値関係 の instance では %n
(instance VelocityFn TotalValuedRelation)	Merge.kif 6667-6667	VelocityFn は 合計値関係 の instance では %n
(instance WealthFn TotalValuedRelation)	Merge.kif 7791-7791	WealthFn は 合計値関係 の instance では %n
(instance WhenFn TotalValuedRelation)	Merge.kif 8467-8467	WhenFn は 合計値関係 の instance では %n
(instance WhereFn TotalValuedRelation)	Merge.kif 4221-4221	WhereFn は 合計値関係 の instance では %n
(instance YearFn TotalValuedRelation)	Merge.kif 8554-8554	YearFn は 合計値関係 の instance では %n
(instance ancestor TotalValuedRelation)	Merge.kif 16348-16348	ancestor は 合計値関係 の instance では %n
(instance angularMeasure TotalValuedRelation)	Merge.kif 17866-17866	angularMeasure は 合計値関係 の instance では %n
(instance approximateDiameter TotalValuedRelation)	Mid-level-ontology.kif 17946-17946	approximateDiameter は 合計値関係 の instance では %n
(instance attribute TotalValuedRelation)	Merge.kif 1717-1717	attribute は 合計値関係 の instance では %n
(instance caliber TotalValuedRelation)	MilitaryDevices.kif 209-209	caliber は 合計値関係 の instance では %n
(instance changesLocation TotalValuedRelation)	Merge.kif 10991-10991	changesLocation は 合計値関係 の 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