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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SingleValuedRelation

Sigma KEE - SingleValuedRelation
SingleValuedRelation(single valued relation)single_valued_relation, 单值关系

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


(documentation SingleValuedRelation ChineseLanguage "一个 RelationSingleValuedRelation 以确保除了最后一个参数之外,每一个参数的位置只有一个赋值,而最后的参数 顶多可以决定最后一个参数的位置。注:不是所有的 SingleValuedRelation 都是 TotalValuedRelation。") Merge.kif 2304-2306
(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 2300-2303
(subclass SingleValuedRelation InheritableRelation) Merge.kif 2299-2299 Single valued relation is a subclass of inheritable relation
(subclass SingleValuedRelation Relation) Merge.kif 2298-2298 Single valued relation is a subclass of relation

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


(instance StringConcatenateFn SingleValuedRelation) Mid-level-ontology.kif 22224-22224 StringConcatenateFn is an instance of single valued relation
(instance StringLengthFn SingleValuedRelation) Mid-level-ontology.kif 22196-22196 StringLengthFn is an instance of single valued relation
(instance SubstringFn SingleValuedRelation) Mid-level-ontology.kif 22166-22166 SubstringFn is an instance of single valued relation
(instance absoluteHeight SingleValuedRelation) MilitaryDevices.kif 1452-1452 absolute height is an instance of single valued relation
(instance age SingleValuedRelation) Merge.kif 7751-7751 age is an instance of single valued relation
(instance altitude SingleValuedRelation) Merge.kif 7900-7900 altitude is an instance of single valued relation
(instance approximateDiameter SingleValuedRelation) Mid-level-ontology.kif 15649-15649 approximate diameter is an instance of single valued relation
(instance arcWeight SingleValuedRelation) Merge.kif 6081-6081 arc weight is an instance of single valued relation
(instance average SingleValuedRelation) Merge.kif 5452-5452 average is an instance of single valued relation
(instance conclusion SingleValuedRelation) Merge.kif 17201-17201 conclusion is an instance of single valued relation
(instance currencyType SingleValuedRelation) Economy.kif 2878-2878 currency type is an instance of single valued relation
(instance date SingleValuedRelation) Merge.kif 8652-8652 date is an instance of single valued relation
(instance depth SingleValuedRelation) Merge.kif 7929-7929 depth is an instance of single valued relation
(instance diameter SingleValuedRelation) Merge.kif 7859-7859 diameter is an instance of single valued relation
(instance distance SingleValuedRelation) Merge.kif 7875-7875 distance is an instance of single valued relation
(instance effectiveRange SingleValuedRelation) Mid-level-ontology.kif 1769-1769 effective range is an instance of single valued relation
(instance electronNumber SingleValuedRelation) Mid-level-ontology.kif 19494-19494 electron number is an instance of single valued relation
(instance father SingleValuedRelation) Merge.kif 16646-16646 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 18363-18363 geometric distance is an instance of single valued relation
(instance hasDimension SingleValuedRelation) engineering.kif 294-294 has dimension is an instance of single valued relation
(instance hasVariable SingleValuedRelation) engineering.kif 299-299 has variable is an instance of single valued relation
(instance humanCapacity SingleValuedRelation) Mid-level-ontology.kif 6332-6332 human capacity is an instance of single valued relation
(instance intelligenceQuotient SingleValuedRelation) Mid-level-ontology.kif 10009-10009 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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