(instance HoleHostFn UnaryFunction)	Merge.kif 9924-9924	HoleHostFn は 1変数関数 の instance では %n
(instance HoleSkinFn UnaryFunction)	Merge.kif 10065-10065	HoleSkinFn は 1変数関数 の instance では %n
(instance ImaginaryPartFn UnaryFunction)	Merge.kif 4906-4906	ImaginaryPartFn は 1変数関数 の instance では %n
(instance ImmediateFamilyFn UnaryFunction)	Merge.kif 16283-16283	ImmediateFamilyFn は 1変数関数 の instance では %n
(instance ImmediateFutureFn UnaryFunction)	Merge.kif 8526-8526	ImmediateFutureFn は 1変数関数 の instance では %n
(instance ImmediatePastFn UnaryFunction)	Merge.kif 8495-8495	ImmediatePastFn は 1変数関数 の instance では %n
(instance ImpairedBodyPartFn UnaryFunction)	Merge.kif 18217-18217	ImpairedBodyPartFn は 1変数関数 の instance では %n
(instance ImpairmentFn UnaryFunction)	Merge.kif 13466-13466	ImpairmentFn は 1変数関数 の instance では %n
(instance InflammationFn UnaryFunction)	Mid-level-ontology.kif 12408-12408	InflammationFn は 1変数関数 の instance では %n
(instance InitialNodeFn UnaryFunction)	Merge.kif 5920-5920	InitialNodeFn は 1変数関数 の instance では %n
(instance InitialProfileFn UnaryFunction)	QoSontology.kif 1311-1311	InitialProfileFn は 1変数関数 の instance では %n
(instance InjuryCausedFn UnaryFunction)	Medicine.kif 396-396	InjuryCausedFn は 1変数関数 の instance では %n
(instance InnerBoundaryFn UnaryFunction)	Geography.kif 795-795	InnerBoundaryFn は 1変数関数 の instance では %n
(instance IntegerSquareRootFn UnaryFunction)	Merge.kif 4921-4921	IntegerSquareRootFn は 1変数関数 の instance では %n
(instance JudiciaryFn UnaryFunction)	Government.kif 2137-2137	JudiciaryFn は 1変数関数 の instance では %n
(instance JuiceOfFn UnaryFunction)	Food.kif 2598-2598	JuiceOfFn は 1変数関数 の instance では %n
(instance LastFn UnaryFunction)	Merge.kif 3205-3205	LastFn は 1変数関数 の instance では %n
(instance LegislatureFn UnaryFunction)	Government.kif 2035-2035	LegislatureFn は 1変数関数 の instance では %n
(instance ListLengthFn UnaryFunction)	Merge.kif 3012-3012	ListLengthFn は 1変数関数 の instance では %n
(instance ListSumFn UnaryFunction)	Merge.kif 3239-3239	ListSumFn は 1変数関数 の instance では %n
(instance LyricalComponentFn UnaryFunction)	Music.kif 912-912	LyricalComponentFn は 1変数関数 の instance では %n
(instance MakingFn UnaryFunction)	Merge.kif 18370-18370	MakingFn は 1変数関数 の instance では %n
(instance MaleToFemaleRatioFn UnaryFunction)	People.kif 191-191	MaleToFemaleRatioFn は 1変数関数 の instance では %n
(instance MaritimeClaimsTerritorialSeaFn UnaryFunction)	Geography.kif 780-780	MaritimeClaimsTerritorialSeaFn は 1変数関数 の instance では %n
(instance MaritimeContiguousZoneFn UnaryFunction)	Geography.kif 1042-1042	MaritimeContiguousZoneFn は 1変数関数 の 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