(instance CabinetFn UnaryFunction)	Government.kif 1526-1526	CabinetFn は 1変数関数 の instance では %n
(instance CardinalityFn UnaryFunction)	Merge.kif 5507-5507	CardinalityFn は 1変数関数 の instance では %n
(instance CeilingFn UnaryFunction)	Merge.kif 4781-4781	CeilingFn は 1変数関数 の instance では %n
(instance CenterOfCircleFn UnaryFunction)	Merge.kif 7637-7637	CenterOfCircleFn は 1変数関数 の instance では %n
(instance CitizenryFn UnaryFunction)	Mid-level-ontology.kif 8038-8038	CitizenryFn は 1変数関数 の instance では %n
(instance ComplementFn UnaryFunction)	Merge.kif 5475-5475	ComplementFn は 1変数関数 の instance では %n
(instance ConstitutionFn UnaryFunction)	Government.kif 673-673	ConstitutionFn は 1変数関数 の instance では %n
(instance ConversionRateFn UnaryFunction)	UXExperimentalTerms.kif 2832-2832	ConversionRateFn は 1変数関数 の instance では %n
(instance CosineFn UnaryFunction)	Merge.kif 4799-4799	CosineFn は 1変数関数 の instance では %n
(instance CoveringFn UnaryFunction)	Mid-level-ontology.kif 29724-29724	CoveringFn は 1変数関数 の instance では %n
(instance CurrencyFn UnaryFunction)	FinancialOntology.kif 282-282	CurrencyFn は 1変数関数 の instance では %n
(instance CutSetFn UnaryFunction)	Merge.kif 6070-6070	CutSetFn は 1変数関数 の instance では %n
(instance DatumFn UnaryFunction)	Geography.kif 4856-4856	DatumFn は 1変数関数 の instance では %n
(instance DeadFn UnaryFunction)	Mid-level-ontology.kif 114-114	DeadFn は 1変数関数 の instance では %n
(instance DeadOrMissingBodyPartFn UnaryFunction)	Merge.kif 18237-18237	DeadOrMissingBodyPartFn は 1変数関数 の instance では %n
(instance DemonymFn UnaryFunction)	Mid-level-ontology.kif 30629-30629	DemonymFn は 1変数関数 の instance では %n
(instance DenominatorFn UnaryFunction)	Merge.kif 4808-4808	DenominatorFn は 1変数関数 の instance では %n
(instance DescendantsFn UnaryFunction)	Mid-level-ontology.kif 7460-7460	DescendantsFn は 1変数関数 の instance では %n
(instance DiameterFn UnaryFunction)	Mid-level-ontology.kif 4947-4947	DiameterFn は 1変数関数 の instance では %n
(instance DocumentFn UnaryFunction)	Geography.kif 3011-3011	DocumentFn は 1変数関数 の instance では %n
(instance EdemaFn UnaryFunction)	Mid-level-ontology.kif 9978-9978	EdemaFn は 1変数関数 の instance では %n
(instance ElectionFn UnaryFunction)	Government.kif 1684-1684	ElectionFn は 1変数関数 の instance では %n
(instance ElevationHighPointFn UnaryFunction)	Geography.kif 1956-1956	ElevationHighPointFn は 1変数関数 の instance では %n
(instance ElevationLowPointFn UnaryFunction)	Geography.kif 1932-1932	ElevationLowPointFn は 1変数関数 の instance では %n
(instance EmailDomainPartFn UnaryFunction)	ComputingBrands.kif 2055-2055	EmailDomainPartFn は 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