(instance HoleHostFn UnaryFunction)	Merge.kif 9946-9946	洞主体函数 是 一元函数 的 instance
(instance HoleSkinFn UnaryFunction)	Merge.kif 10087-10087	洞表面函数 是 一元函数 的 instance
(instance ImaginaryPartFn UnaryFunction)	Merge.kif 4906-4906	虚数函数 是 一元函数 的 instance
(instance ImmediateFamilyFn UnaryFunction)	Merge.kif 16305-16305	直系亲属 是 一元函数 的 instance
(instance ImmediateFutureFn UnaryFunction)	Merge.kif 8548-8548	紧接未来函数 是 一元函数 的 instance
(instance ImmediatePastFn UnaryFunction)	Merge.kif 8517-8517	紧接过去函数 是 一元函数 的 instance
(instance ImpairedBodyPartFn UnaryFunction)	Merge.kif 18239-18239	ImpairedBodyPartFn 是 一元函数 的 instance
(instance ImpairmentFn UnaryFunction)	Merge.kif 13488-13488	ImpairmentFn 是 一元函数 的 instance
(instance InflammationFn UnaryFunction)	Mid-level-ontology.kif 12407-12407	InflammationFn 是 一元函数 的 instance
(instance InitialNodeFn UnaryFunction)	Merge.kif 5920-5920	节点起点函数 是 一元函数 的 instance
(instance InitialProfileFn UnaryFunction)	QoSontology.kif 1311-1311	初步资料 是 一元函数 的 instance
(instance InjuryCausedFn UnaryFunction)	Medicine.kif 396-396	InjuryCausedFn 是 一元函数 的 instance
(instance InnerBoundaryFn UnaryFunction)	Geography.kif 795-795	内部边界 是 一元函数 的 instance
(instance IntegerSquareRootFn UnaryFunction)	Merge.kif 4921-4921	整数平方根函数 是 一元函数 的 instance
(instance JudiciaryFn UnaryFunction)	Government.kif 2137-2137	司法 是 一元函数 的 instance
(instance JuiceOfFn UnaryFunction)	Food.kif 2598-2598	JuiceOfFn 是 一元函数 的 instance
(instance LastFn UnaryFunction)	Merge.kif 3205-3205	持续 是 一元函数 的 instance
(instance LegislatureFn UnaryFunction)	Government.kif 2035-2035	立法机关 是 一元函数 的 instance
(instance ListLengthFn UnaryFunction)	Merge.kif 3012-3012	找出表列长度的函数 是 一元函数 的 instance
(instance ListSumFn UnaryFunction)	Merge.kif 3239-3239	ListSumFn 是 一元函数 的 instance
(instance LyricalComponentFn UnaryFunction)	Music.kif 912-912	LyricalComponentFn 是 一元函数 的 instance
(instance MakingFn UnaryFunction)	Merge.kif 18392-18392	MakingFn 是 一元函数 的 instance
(instance MaleToFemaleRatioFn UnaryFunction)	People.kif 191-191	男女比例 是 一元函数 的 instance
(instance MaritimeClaimsTerritorialSeaFn UnaryFunction)	Geography.kif 780-780	海上主张领海 是 一元函数 的 instance
(instance MaritimeContiguousZoneFn UnaryFunction)	Geography.kif 1042-1042	海上毗连区 是 一元函数 的 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