SingleValuedRelation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SingleValuedRelation ChineseLanguage "一个 Relation是 SingleValuedRelation 以确保除了最后一个参数之外，每一个参数的位置只有一个赋值，而最后的参数顶多可以决定最后一个参数的位置。注：不是所有的 SingleValuedRelation 都是 TotalValuedRelation。")	chinese_format.kif 1820-1822
(documentation SingleValuedRelation EnglishLanguage "A Relation is a SingleValuedRelation just in case an assignment of values to every argument position except the last one determines at most one assignment for the last argument position. Note that not all SingleValuedRelations are TotalValuedRelations.")	Merge.kif 2173-2176
(documentation SingleValuedRelation JapaneseLanguage "Relation は、 SingleValuedRelation で、最後の引数位置を除くすべての引数位置に値を割り当てるだけで、最後の引数位置に対して最も 1 つの割り当てを決定する場合に備えてる。注：すべての SingleValuedRelation が TotalValuedRelation ではない。")	japanese_format.kif 438-441
(subclass SingleValuedRelation InheritableRelation)	Merge.kif 2171-2171	单值关系是可继承的关系的 subclass
(subclass SingleValuedRelation Relation)	Merge.kif 2170-2170	单值关系是关系的 subclass

appearance as argument number 2

(instance StringConcatenateFn SingleValuedRelation)	Mid-level-ontology.kif 25591-25591	StringConcatenateFn 是单值关系的 instance
(instance StringLengthFn SingleValuedRelation)	Mid-level-ontology.kif 25564-25564	StringLengthFn 是单值关系的 instance
(instance SubstringFn SingleValuedRelation)	Mid-level-ontology.kif 25534-25534	SubstringFn 是单值关系的 instance
(instance absoluteHeight SingleValuedRelation)	MilitaryDevices.kif 1453-1453	绝对高度是单值关系的 instance
(instance age SingleValuedRelation)	Merge.kif 7526-7526	年龄是单值关系的 instance
(instance altitude SingleValuedRelation)	Merge.kif 7741-7741	海拔是单值关系的 instance
(instance approximateDiameter SingleValuedRelation)	Mid-level-ontology.kif 19034-19034	近似直径是单值关系的 instance
(instance arcWeight SingleValuedRelation)	Merge.kif 5954-5954	弧衡量是单值关系的 instance
(instance average SingleValuedRelation)	Merge.kif 5353-5353	平均是单值关系的 instance
(instance conclusion SingleValuedRelation)	Merge.kif 16989-16989	结论是单值关系的 instance
(instance currencyType SingleValuedRelation)	Economy.kif 3085-3085	货币类型是单值关系的 instance
(instance date SingleValuedRelation)	Merge.kif 8585-8585	日期是单值关系的 instance
(instance depth SingleValuedRelation)	Merge.kif 7768-7768	深度是单值关系的 instance
(instance diameter SingleValuedRelation)	Merge.kif 7699-7699	圆周是单值关系的 instance
(instance distance SingleValuedRelation)	Merge.kif 7718-7718	距离是单值关系的 instance
(instance effectiveRange SingleValuedRelation)	Mid-level-ontology.kif 1378-1378	有效范围是单值关系的 instance
(instance electronNumber SingleValuedRelation)	Mid-level-ontology.kif 22795-22795	电子数是单值关系的 instance
(instance father SingleValuedRelation)	Merge.kif 16514-16514	父亲是单值关系的 instance
(instance geneticSubstrateOfVirus SingleValuedRelation)	VirusProteinAndCellPart.kif 33-33	病毒的遗传基质是单值关系的 instance
(instance geometricDistance SingleValuedRelation)	Merge.kif 18076-18076	几何距离是单值关系的 instance
(instance hasDimension SingleValuedRelation)	engineering.kif 295-295	有维度是单值关系的 instance
(instance hasVariable SingleValuedRelation)	engineering.kif 302-302	有变数是单值关系的 instance
(instance humanCapacity SingleValuedRelation)	Mid-level-ontology.kif 7247-7247	人的能力是单值关系的 instance
(instance intelligenceQuotient SingleValuedRelation)	Mid-level-ontology.kif 12848-12848	智商是单值关系的 instance
(instance invadingVirus SingleValuedRelation)	VirusProteinAndCellPart.kif 22-22	入侵病毒是单值关系的 instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: