UnaryFunction - Sigma Knowledge base Browser

appearance as argument number 1

(documentation UnaryFunction ChineseLanguage "这是个需要单一一个参数的 Function Class。")	Merge.kif 5089-5089
(documentation UnaryFunction EnglishLanguage "The Class of Functions that require a single argument.")	Merge.kif 5086-5087
(documentation UnaryFunction JapaneseLanguage "Functions のClass は単一の引数が必要である。")	Merge.kif 5091-5092
(subclass UnaryFunction BinaryRelation)	Merge.kif 5083-5083	1変数関数は 2項関係の subclass では %n
(subclass UnaryFunction Function)	Merge.kif 5082-5082	1変数関数は関数の subclass では %n
(subclass UnaryFunction InheritableRelation)	Merge.kif 5084-5084	1変数関数は InheritableRelation の subclass では %n

appearance as argument number 2

(format ChineseLanguage UnaryFunction "%1 的 unary 功能")	domainEnglishFormat.kif 2555-2555
(format ChineseTraditionalLanguage UnaryFunction "%1 的 unary 功能")	domainEnglishFormat.kif 2554-2554
(format EnglishLanguage UnaryFunction "the unary function of %1")	domainEnglishFormat.kif 2553-2553
(instance ABPFn UnaryFunction)	UXExperimentalTerms.kif 3427-3427	ABPFn は 1変数関数の instance では %n
(instance ASPFn UnaryFunction)	UXExperimentalTerms.kif 3470-3470	ASPFn は 1変数関数の instance では %n
(instance AbsoluteValueFn UnaryFunction)	Merge.kif 7051-7051	AbsoluteValueFn は 1変数関数の instance では %n
(instance AccountFn UnaryFunction)	FinancialOntology.kif 2246-2246	AccountFn は 1変数関数の instance では %n
(instance AddressFn UnaryFunction)	QoSontology.kif 217-217	AddressFn は 1変数関数の instance では %n
(instance AfternoonFn UnaryFunction)	Merge.kif 12420-12420	AfternoonFn は 1変数関数の instance では %n
(instance AgentOfOrganismFn UnaryFunction)	WMD.kif 86-86	AgentOfOrganismFn は 1変数関数の instance では %n
(instance AgreementOrganizationFn UnaryFunction)	Geography.kif 2901-2901	AgreementOrganizationFn は 1変数関数の instance では %n
(instance AuctionGMBFn UnaryFunction)	UXExperimentalTerms.kif 3395-3395	AuctionGMBFn は 1変数関数の instance では %n
(instance AvailableForMilitaryServiceMaleFn UnaryFunction)	Military.kif 859-859	AvailableForMilitaryServiceMaleFn は 1変数関数の instance では %n
(instance BackFn UnaryFunction)	Merge.kif 1357-1357	BackFn は 1変数関数の instance では %n
(instance BeginFn UnaryFunction)	Merge.kif 11493-11493	BeginFn は 1変数関数の instance では %n
(instance BeginNodeFn UnaryFunction)	Merge.kif 8526-8526	BeginNodeFn は 1変数関数の instance では %n
(instance BeliefGroupMemberFn UnaryFunction)	People.kif 672-672	BeliefGroupMemberFn は 1変数関数の instance では %n
(instance BidCountFn UnaryFunction)	UXExperimentalTerms.kif 3115-3115	BidCountFn は 1変数関数の instance では %n
(instance BoughtItemsFn UnaryFunction)	UXExperimentalTerms.kif 3082-3082	BoughtItemsFn は 1変数関数の instance では %n
(instance CPUUtilizationFn UnaryFunction)	QoSontology.kif 1313-1313	CPUUtilizationFn は 1変数関数の instance では %n
(instance CabinetFn UnaryFunction)	Government.kif 1486-1486	CabinetFn は 1変数関数の instance では %n
(instance CardinalityFn UnaryFunction)	Merge.kif 7954-7954	CardinalityFn は 1変数関数の instance では %n
(instance CeilingFn UnaryFunction)	Merge.kif 7078-7078	CeilingFn は 1変数関数の instance では %n
(instance CenterOfCircleFn UnaryFunction)	Merge.kif 11032-11032	CenterOfCircleFn は 1変数関数の instance では %n
(instance CitizenryFn UnaryFunction)	Mid-level-ontology.kif 7780-7780	CitizenryFn は 1変数関数の instance では %n

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=>
(instance ?FUNCTION UnaryFunction)
(valence ?FUNCTION 1))

Merge.kif 5094-5096

関係は 1変数関数の instance では %n
関係は 1 の argument(s) を %&has %n{ない}

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: