(instance CabinetFn UnaryFunction)	Government.kif 1488-1488	CabinetFn は 1変数関数 の instance では
(instance CardinalityFn UnaryFunction)	Merge.kif 5532-5532	CardinalityFn は 1変数関数 の instance では
(instance CeilingFn UnaryFunction)	Merge.kif 4809-4809	CeilingFn は 1変数関数 の instance では
(instance CenterOfCircleFn UnaryFunction)	Merge.kif 7706-7706	CenterOfCircleFn は 1変数関数 の instance では
(instance CenterOfPlanetFn UnaryFunction)	Mid-level-ontology.kif 27443-27443	CenterOfPlanetFn は 1変数関数 の instance では
(instance CitizenryFn UnaryFunction)	Mid-level-ontology.kif 9205-9205	CitizenryFn は 1変数関数 の instance では
(instance ComplementFn UnaryFunction)	Merge.kif 5500-5500	ComplementFn は 1変数関数 の instance では
(instance ConstitutionFn UnaryFunction)	Government.kif 637-637	ConstitutionFn は 1変数関数 の instance では
(instance ConversionRateFn UnaryFunction)	UXExperimentalTerms.kif 2832-2832	ConversionRateFn は 1変数関数 の instance では
(instance CosineFn UnaryFunction)	Merge.kif 4827-4827	CosineFn は 1変数関数 の instance では
(instance CoveringFn UnaryFunction)	Mid-level-ontology.kif 31643-31643	CoveringFn は 1変数関数 の instance では
(instance CurrencyFn UnaryFunction)	FinancialOntology.kif 284-284	CurrencyFn は 1変数関数 の instance では
(instance CutSetFn UnaryFunction)	Merge.kif 6095-6095	CutSetFn は 1変数関数 の instance では
(instance DatumFn UnaryFunction)	Geography.kif 5110-5110	DatumFn は 1変数関数 の instance では
(instance DeadFn UnaryFunction)	Merge.kif 18662-18662	DeadFn は 1変数関数 の instance では
(instance DeadOrMissingBodyPartFn UnaryFunction)	Merge.kif 18424-18424	DeadOrMissingBodyPartFn は 1変数関数 の instance では
(instance DemandFn UnaryFunction)	Economy.kif 6787-6787	DemandFn は 1変数関数 の instance では
(instance DemonymFn UnaryFunction)	Mid-level-ontology.kif 32563-32563	DemonymFn は 1変数関数 の instance では
(instance DenominatorFn UnaryFunction)	Merge.kif 4836-4836	DenominatorFn は 1変数関数 の instance では
(instance DescendantsFn UnaryFunction)	Mid-level-ontology.kif 8627-8627	DescendantsFn は 1変数関数 の instance では
(instance DiameterFn UnaryFunction)	Mid-level-ontology.kif 5565-5565	DiameterFn は 1変数関数 の instance では
(instance DocumentFn UnaryFunction)	Geography.kif 3169-3169	DocumentFn は 1変数関数 の instance では
(instance EdemaFn UnaryFunction)	Mid-level-ontology.kif 11307-11307	EdemaFn は 1変数関数 の instance では
(instance ElectionFn UnaryFunction)	Government.kif 1646-1646	ElectionFn は 1変数関数 の instance では
(instance ElevationHighPointFn UnaryFunction)	Geography.kif 2114-2114	ElevationHighPointFn は 1変数関数 の 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