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

appearance as argument number 2

(instance StringConcatenateFn SingleValuedRelation)	Mid-level-ontology.kif 24405-24405	String concatenate fn is an instance of single valued relation
(instance StringLengthFn SingleValuedRelation)	Mid-level-ontology.kif 24378-24378	String length fn is an instance of single valued relation
(instance SubstringFn SingleValuedRelation)	Mid-level-ontology.kif 24348-24348	Substring fn is an instance of single valued relation
(instance absoluteHeight SingleValuedRelation)	MilitaryDevices.kif 1453-1453	absolute height is an instance of single valued relation
(instance age SingleValuedRelation)	Merge.kif 7502-7502	age is an instance of single valued relation
(instance altitude SingleValuedRelation)	Merge.kif 7685-7685	altitude is an instance of single valued relation
(instance approximateDiameter SingleValuedRelation)	Mid-level-ontology.kif 17857-17857	approximate diameter is an instance of single valued relation
(instance arcWeight SingleValuedRelation)	Merge.kif 5949-5949	arc weight is an instance of single valued relation
(instance average SingleValuedRelation)	Merge.kif 5345-5345	average is an instance of single valued relation
(instance conclusion SingleValuedRelation)	Merge.kif 16786-16786	conclusion is an instance of single valued relation
(instance currencyType SingleValuedRelation)	Economy.kif 2891-2891	currency type is an instance of single valued relation
(instance date SingleValuedRelation)	Merge.kif 8529-8529	date is an instance of single valued relation
(instance depth SingleValuedRelation)	Merge.kif 7712-7712	depth is an instance of single valued relation
(instance diameter SingleValuedRelation)	Merge.kif 7647-7647	diameter is an instance of single valued relation
(instance distance SingleValuedRelation)	Merge.kif 7662-7662	distance is an instance of single valued relation
(instance effectiveRange SingleValuedRelation)	Mid-level-ontology.kif 1357-1357	effective range is an instance of single valued relation
(instance electronNumber SingleValuedRelation)	Mid-level-ontology.kif 21656-21656	electron number is an instance of single valued relation
(instance father SingleValuedRelation)	Merge.kif 16311-16311	father is an instance of single valued relation
(instance geneticSubstrateOfVirus SingleValuedRelation)	VirusProteinAndCellPart.kif 33-33	genetic substrate of virus is an instance of single valued relation
(instance geometricDistance SingleValuedRelation)	Merge.kif 17866-17866	geometric distance is an instance of single valued relation
(instance hasDimension SingleValuedRelation)	engineering.kif 295-295	has dimension is an instance of single valued relation
(instance hasVariable SingleValuedRelation)	engineering.kif 302-302	has variable is an instance of single valued relation
(instance humanCapacity SingleValuedRelation)	Mid-level-ontology.kif 6670-6670	human capacity is an instance of single valued relation
(instance intelligenceQuotient SingleValuedRelation)	Mid-level-ontology.kif 11887-11887	intelligence quotient is an instance of single valued relation
(instance invadingVirus SingleValuedRelation)	VirusProteinAndCellPart.kif 22-22	invading virus is an instance of single valued relation

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: