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

appearance as argument number 2

(instance StringConcatenateFn SingleValuedRelation)	Mid-level-ontology.kif 26136-26136	StringConcatenateFn は一価関係の instance では
(instance StringLengthFn SingleValuedRelation)	Mid-level-ontology.kif 26109-26109	StringLengthFn は一価関係の instance では
(instance SubstringFn SingleValuedRelation)	Mid-level-ontology.kif 26079-26079	SubstringFn は一価関係の instance では
(instance absoluteHeight SingleValuedRelation)	MilitaryDevices.kif 1610-1610	absoluteHeight は一価関係の instance では
(instance age SingleValuedRelation)	Merge.kif 7545-7545	age は一価関係の instance では
(instance altitude SingleValuedRelation)	Merge.kif 7766-7766	altitude は一価関係の instance では
(instance approximateDiameter SingleValuedRelation)	Mid-level-ontology.kif 19516-19516	approximateDiameter は一価関係の instance では
(instance arcWeight SingleValuedRelation)	Merge.kif 5973-5973	arcWeight は一価関係の instance では
(instance average SingleValuedRelation)	Merge.kif 5372-5372	average は一価関係の instance では
(instance conclusion SingleValuedRelation)	Merge.kif 17053-17053	conclusion は一価関係の instance では
(instance currencyType SingleValuedRelation)	Economy.kif 3212-3212	currencyType は一価関係の instance では
(instance date SingleValuedRelation)	Merge.kif 8641-8641	date は一価関係の instance では
(instance depth SingleValuedRelation)	Merge.kif 7796-7796	depth は一価関係の instance では
(instance diameter SingleValuedRelation)	Merge.kif 7724-7724	diameter は一価関係の instance では
(instance distance SingleValuedRelation)	Merge.kif 7743-7743	distance は一価関係の instance では
(instance effectiveRange SingleValuedRelation)	Mid-level-ontology.kif 1602-1602	effectiveRange は一価関係の instance では
(instance electronNumber SingleValuedRelation)	Mid-level-ontology.kif 23323-23323	electronNumber は一価関係の instance では
(instance father SingleValuedRelation)	Merge.kif 16578-16578	father は一価関係の instance では
(instance geneticSubstrateOfVirus SingleValuedRelation)	VirusProteinAndCellPart.kif 33-33	geneticSubstrateOfVirus は一価関係の instance では
(instance geometricDistance SingleValuedRelation)	Merge.kif 18143-18143	geometricDistance は一価関係の instance では
(instance hasDimension SingleValuedRelation)	engineering.kif 295-295	hasDimension は一価関係の instance では
(instance hasVariable SingleValuedRelation)	engineering.kif 302-302	hasVariable は一価関係の instance では
(instance humanCapacity SingleValuedRelation)	Mid-level-ontology.kif 7635-7635	humanCapacity は一価関係の instance では
(instance intelligenceQuotient SingleValuedRelation)	Mid-level-ontology.kif 13283-13283	intelligenceQuotient は一価関係の instance では
(instance invadingVirus SingleValuedRelation)	VirusProteinAndCellPart.kif 22-22	invadingVirus は一価関係の 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: