(instance EditionFn BinaryFunction)	Merge.kif 15506-15506	EditionFn は 2変数関数 の instance では %n
(instance ExponentiationFn BinaryFunction)	Merge.kif 4816-4816	ExponentiationFn は 2変数関数 の instance では %n
(instance FemaleLifeExpectancyAtBirthFn BinaryFunction)	People.kif 393-393	FemaleLifeExpectancyAtBirthFn は 2変数関数 の instance では %n
(instance FiscalYearStartingFn BinaryFunction)	Economy.kif 3721-3721	FiscalYearStartingFn は 2変数関数 の instance では %n
(instance GPIFn BinaryFunction)	UXExperimentalTerms.kif 3156-3156	GPIFn は 2変数関数 の instance では %n
(instance GPSFn BinaryFunction)	UXExperimentalTerms.kif 3123-3123	GPSFn は 2変数関数 の instance では %n
(instance GeographicPartTypeFn BinaryFunction)	Geography.kif 6912-6912	GeographicPartTypeFn は 2変数関数 の instance では %n
(instance GraphPathFn BinaryFunction)	Merge.kif 6052-6052	GraphPathFn は 2変数関数 の instance では %n
(instance HourFn BinaryFunction)	Merge.kif 8611-8611	HourFn は 2変数関数 の instance では %n
(instance IntersectionFn BinaryFunction)	Merge.kif 5453-5453	IntersectionFn は 2変数関数 の instance では %n
(instance IntervalFn BinaryFunction)	Merge.kif 6581-6581	IntervalFn は 2変数関数 の instance では %n
(instance KappaFn BinaryFunction)	Merge.kif 5580-5580	KappaFn は 2変数関数 の instance では %n
(instance LifeExpectancyAtBirthFn BinaryFunction)	People.kif 296-296	LifeExpectancyAtBirthFn は 2変数関数 の instance では %n
(instance LiftFn BinaryFunction)	UXExperimentalTerms.kif 4549-4549	LiftFn は 2変数関数 の instance では %n
(instance LineFn BinaryFunction)	ComputingBrands.kif 2616-2616	ライン は 2変数関数 の instance では %n
(instance ListConcatenateFn BinaryFunction)	Merge.kif 3070-3070	ListConcatenateFn は 2変数関数 の instance では %n
(instance ListOrderFn BinaryFunction)	Merge.kif 2975-2975	ListOrderFn は 2変数関数 の instance では %n
(instance LogFn BinaryFunction)	Merge.kif 4974-4974	LogFn は 2変数関数 の instance では %n
(instance MaleLifeExpectancyAtBirthFn BinaryFunction)	People.kif 345-345	MaleLifeExpectancyAtBirthFn は 2変数関数 の instance では %n
(instance MaxFn BinaryFunction)	Merge.kif 4982-4982	MaxFn は 2変数関数 の instance では %n
(instance MaximalWeightedPathFn BinaryFunction)	Merge.kif 6030-6030	MaximalWeightedPathFn は 2変数関数 の instance では %n
(instance MealAttributeFn BinaryFunction)	Food.kif 1891-1891	MealAttributeFn は 2変数関数 の instance では %n
(instance Mean10MinutesWindSpeedFn BinaryFunction)	Weather.kif 2221-2221	Mean10MinutesWindSpeedFn は 2変数関数 の instance では %n
(instance Mean1MinuteWindSpeedFn BinaryFunction)	Weather.kif 2326-2326	Mean1MinuteWindSpeedFn は 2変数関数 の instance では %n
(instance Mean2MinutesWindSpeedFn BinaryFunction)	Weather.kif 2291-2291	Mean2MinutesWindSpeedFn は 2変数関数 の 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