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 2179-2182
(documentation SingleValuedRelation JapaneseLanguage "Relation は、 SingleValuedRelation で、最後の引数位置を除くすべての引数位置に値を割り当てるだけで、最後の引数位置に対して最も 1 つの割り当てを決定する場合に備えてる。注：すべての SingleValuedRelation が TotalValuedRelation ではない。")	japanese_format.kif 438-441
(subclass SingleValuedRelation InheritableRelation)	Merge.kif 2177-2177
(subclass SingleValuedRelation Relation)	Merge.kif 2176-2176

appearance as argument number 2

(instance StringConcatenateFn SingleValuedRelation)	Mid-level-ontology.kif 24760-24760
(instance StringLengthFn SingleValuedRelation)	Mid-level-ontology.kif 24733-24733
(instance SubstringFn SingleValuedRelation)	Mid-level-ontology.kif 24703-24703
(instance absoluteHeight SingleValuedRelation)	MilitaryDevices.kif 1453-1453
(instance age SingleValuedRelation)	Merge.kif 7517-7517
(instance altitude SingleValuedRelation)	Merge.kif 7735-7735
(instance approximateDiameter SingleValuedRelation)	Mid-level-ontology.kif 18203-18203
(instance arcWeight SingleValuedRelation)	Merge.kif 5964-5964
(instance average SingleValuedRelation)	Merge.kif 5360-5360
(instance conclusion SingleValuedRelation)	Merge.kif 16964-16964
(instance currencyType SingleValuedRelation)	Economy.kif 2990-2990
(instance date SingleValuedRelation)	Merge.kif 8579-8579
(instance depth SingleValuedRelation)	Merge.kif 7762-7762
(instance diameter SingleValuedRelation)	Merge.kif 7693-7693
(instance distance SingleValuedRelation)	Merge.kif 7712-7712
(instance effectiveRange SingleValuedRelation)	Mid-level-ontology.kif 1378-1378
(instance electronNumber SingleValuedRelation)	Mid-level-ontology.kif 21964-21964
(instance father SingleValuedRelation)	Merge.kif 16489-16489
(instance geneticSubstrateOfVirus SingleValuedRelation)	VirusProteinAndCellPart.kif 33-33
(instance geometricDistance SingleValuedRelation)	Merge.kif 18051-18051
(instance hasDimension SingleValuedRelation)	engineering.kif 296-296
(instance hasVariable SingleValuedRelation)	engineering.kif 303-303
(instance humanCapacity SingleValuedRelation)	Mid-level-ontology.kif 6692-6692
(instance intelligenceQuotient SingleValuedRelation)	Mid-level-ontology.kif 12170-12170
(instance invadingVirus SingleValuedRelation)	VirusProteinAndCellPart.kif 22-22

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: