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 2087-2090
(subclass SingleValuedRelation InheritableRelation)	Merge.kif 2085-2085	subclass SingleValuedRelation and InheritableRelation
(subclass SingleValuedRelation Relation)	Merge.kif 2084-2084	subclass SingleValuedRelation and Relation

appearance as argument number 2

(instance StringConcatenateFn SingleValuedRelation)	Mid-level-ontology.kif 22289-22289	instance StringConcatenateFn and SingleValuedRelation
(instance StringLengthFn SingleValuedRelation)	Mid-level-ontology.kif 22261-22261	instance StringLengthFn and SingleValuedRelation
(instance SubstringFn SingleValuedRelation)	Mid-level-ontology.kif 22231-22231	instance SubstringFn and SingleValuedRelation
(instance absoluteHeight SingleValuedRelation)	MilitaryDevices.kif 1453-1453	instance absoluteHeight and SingleValuedRelation
(instance age SingleValuedRelation)	Merge.kif 7135-7135	instance age and SingleValuedRelation
(instance altitude SingleValuedRelation)	Merge.kif 7276-7276	instance altitude and SingleValuedRelation
(instance approximateDiameter SingleValuedRelation)	Mid-level-ontology.kif 15702-15702	instance approximateDiameter and SingleValuedRelation
(instance arcWeight SingleValuedRelation)	Merge.kif 5618-5618	instance arcWeight and SingleValuedRelation
(instance average SingleValuedRelation)	Merge.kif 5044-5044	instance average and SingleValuedRelation
(instance conclusion SingleValuedRelation)	Merge.kif 15697-15697	instance conclusion and SingleValuedRelation
(instance currencyType SingleValuedRelation)	Economy.kif 2878-2878	instance currencyType and SingleValuedRelation
(instance date SingleValuedRelation)	Merge.kif 7979-7979	instance date and SingleValuedRelation
(instance depth SingleValuedRelation)	Merge.kif 7303-7303	instance depth and SingleValuedRelation
(instance diameter SingleValuedRelation)	Merge.kif 7238-7238	instance diameter and SingleValuedRelation
(instance distance SingleValuedRelation)	Merge.kif 7253-7253	instance distance and SingleValuedRelation
(instance effectiveRange SingleValuedRelation)	Mid-level-ontology.kif 1770-1770	instance effectiveRange and SingleValuedRelation
(instance electronNumber SingleValuedRelation)	Mid-level-ontology.kif 19559-19559	instance electronNumber and SingleValuedRelation
(instance father SingleValuedRelation)	Merge.kif 15230-15230	instance father and SingleValuedRelation
(instance geneticSubstrateOfVirus SingleValuedRelation)	VirusProteinAndCellPart.kif 33-33	instance geneticSubstrateOfVirus and SingleValuedRelation
(instance geometricDistance SingleValuedRelation)	Merge.kif 16640-16640	instance geometricDistance and SingleValuedRelation
(instance hasDimension SingleValuedRelation)	engineering.kif 295-295	instance hasDimension and SingleValuedRelation
(instance hasVariable SingleValuedRelation)	engineering.kif 302-302	instance hasVariable and SingleValuedRelation
(instance humanCapacity SingleValuedRelation)	Mid-level-ontology.kif 6337-6337	instance humanCapacity and SingleValuedRelation
(instance intelligenceQuotient SingleValuedRelation)	Mid-level-ontology.kif 10033-10033	instance intelligenceQuotient and SingleValuedRelation
(instance invadingVirus SingleValuedRelation)	VirusProteinAndCellPart.kif 22-22	instance invadingVirus and SingleValuedRelation

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: