Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SingleValuedRelation
SingleValuedRelation(single valued relation)

appearance as argument number 1
-------------------------


s__documentation(s__SingleValuedRelation,s__ChineseLanguage,'"一个 RelationSingleValuedRelation 以确保除了最后一个参数之外,每一个参数的位置只有一个赋值,而最后的参数 顶多可以决定最后一个参数的位置。注:不是所有的 SingleValuedRelation 都是 TotalValuedRelation。"')

chinese_format.kif 1820-1822
s__documentation(s__SingleValuedRelation,s__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 2126-2129
s__subclass(s__SingleValuedRelation,s__InheritableRelation)

s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__InheritableRelation,s__Class)

Merge.kif 2124-2124 Single valued relation is a subclass of inheritable relation
s__instance(s__SingleValuedRelation,s__Class)

s__subclass(s__SingleValuedRelation,s__Relation)

s__instance(s__Relation,s__Class)

Merge.kif 2123-2123 Single valued relation is a subclass of relation

appearance as argument number 2
-------------------------


s__instance(s__StringConcatenateFn__m,s__SingleValuedRelation)

s__instance(s__SingleValuedRelation,s__Class)

Mid-level-ontology.kif 23494-23494 StringConcatenateFn is an instance of single valued relation
s__instance(s__StringLengthFn__m,s__SingleValuedRelation)

s__instance(s__SingleValuedRelation,s__Class)

Mid-level-ontology.kif 23466-23466 StringLengthFn is an instance of single valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__SubstringFn__m,s__SingleValuedRelation)

Mid-level-ontology.kif 23436-23436 SubstringFn is an instance of single valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__absoluteHeight__m,s__SingleValuedRelation)

MilitaryDevices.kif 1453-1453 absolute height is an instance of single valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__age__m,s__SingleValuedRelation)

Merge.kif 7302-7302 age is an instance of single valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__altitude__m,s__SingleValuedRelation)

Merge.kif 7477-7477 altitude is an instance of single valued relation
s__instance(s__approximateDiameter__m,s__SingleValuedRelation)

s__instance(s__SingleValuedRelation,s__Class)

Mid-level-ontology.kif 17019-17019 approximate diameter is an instance of single valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__arcWeight__m,s__SingleValuedRelation)

Merge.kif 5730-5730 arc weight is an instance of single valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__average__m,s__SingleValuedRelation)

Merge.kif 5159-5159 average is an instance of single valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__conclusion__m,s__SingleValuedRelation)

Merge.kif 16213-16213 conclusion is an instance of single valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__currencyType__m,s__SingleValuedRelation)

Economy.kif 2878-2878 currency type is an instance of single valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__date__m,s__SingleValuedRelation)

Merge.kif 8185-8185 date is an instance of single valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__depth__m,s__SingleValuedRelation)

Merge.kif 7504-7504 depth is an instance of single valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__diameter__m,s__SingleValuedRelation)

Merge.kif 7439-7439 diameter is an instance of single valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__distance__m,s__SingleValuedRelation)

Merge.kif 7454-7454 distance is an instance of single valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__effectiveRange__m,s__SingleValuedRelation)

Mid-level-ontology.kif 1325-1325 effective range is an instance of single valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__electronNumber__m,s__SingleValuedRelation)

Mid-level-ontology.kif 20835-20835 electron number is an instance of single valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__father__m,s__SingleValuedRelation)

Merge.kif 15744-15744 father is an instance of single valued relation
s__instance(s__geneticSubstrateOfVirus__m,s__SingleValuedRelation)

s__instance(s__SingleValuedRelation,s__Class)

VirusProteinAndCellPart.kif 33-33 genetic substrate of virus is an instance of single valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__geometricDistance__m,s__SingleValuedRelation)

Merge.kif 17253-17253 geometric distance is an instance of single valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__hasDimension__m,s__SingleValuedRelation)

engineering.kif 295-295 has dimension is an instance of single valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__hasVariable__m,s__SingleValuedRelation)

engineering.kif 302-302 has variable is an instance of single valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__humanCapacity__m,s__SingleValuedRelation)

Mid-level-ontology.kif 6334-6334 human capacity is an instance of single valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__intelligenceQuotient__m,s__SingleValuedRelation)

Mid-level-ontology.kif 11171-11171 intelligence quotient is an instance of single valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__invadingVirus__m,s__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