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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SingleValuedRelation

Sigma KEE - SingleValuedRelation
SingleValuedRelation(单值关系)

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


(documentation SingleValuedRelation ChineseLanguage "一个 RelationSingleValuedRelation 以确保除了最后一个参数之外,每一个参数的位置只有一个赋值,而最后的参数 顶多可以决定最后一个参数的位置。注:不是所有的 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 2125-2128
(subclass SingleValuedRelation InheritableRelation) Merge.kif 2123-2123 单值关系可继承的关系subclass
(subclass SingleValuedRelation Relation) Merge.kif 2122-2122 单值关系关系subclass

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


(instance StringConcatenateFn SingleValuedRelation) Mid-level-ontology.kif 23849-23849 StringConcatenateFn单值关系instance
(instance StringLengthFn SingleValuedRelation) Mid-level-ontology.kif 23822-23822 StringLengthFn单值关系instance
(instance SubstringFn SingleValuedRelation) Mid-level-ontology.kif 23792-23792 SubstringFn单值关系instance
(instance absoluteHeight SingleValuedRelation) MilitaryDevices.kif 1453-1453 绝对高度单值关系instance
(instance age SingleValuedRelation) Merge.kif 7426-7426 年龄单值关系instance
(instance altitude SingleValuedRelation) Merge.kif 7609-7609 海拔单值关系instance
(instance approximateDiameter SingleValuedRelation) Mid-level-ontology.kif 17361-17361 近似直径单值关系instance
(instance arcWeight SingleValuedRelation) Merge.kif 5867-5867 弧衡量单值关系instance
(instance average SingleValuedRelation) Merge.kif 5265-5265 平均单值关系instance
(instance conclusion SingleValuedRelation) Merge.kif 16624-16624 结论单值关系instance
(instance currencyType SingleValuedRelation) Economy.kif 2885-2885 货币类型单值关系instance
(instance date SingleValuedRelation) Merge.kif 8451-8451 日期单值关系instance
(instance depth SingleValuedRelation) Merge.kif 7636-7636 深度单值关系instance
(instance diameter SingleValuedRelation) Merge.kif 7571-7571 圆周单值关系instance
(instance distance SingleValuedRelation) Merge.kif 7586-7586 距离单值关系instance
(instance effectiveRange SingleValuedRelation) Mid-level-ontology.kif 1346-1346 有效范围单值关系instance
(instance electronNumber SingleValuedRelation) Mid-level-ontology.kif 21190-21190 电子数单值关系instance
(instance father SingleValuedRelation) Merge.kif 16149-16149 父亲单值关系instance
(instance geneticSubstrateOfVirus SingleValuedRelation) VirusProteinAndCellPart.kif 33-33 病毒的遗传基质单值关系instance
(instance geometricDistance SingleValuedRelation) Merge.kif 17716-17716 几何距离单值关系instance
(instance hasDimension SingleValuedRelation) engineering.kif 295-295 有维度单值关系instance
(instance hasVariable SingleValuedRelation) engineering.kif 302-302 有变数单值关系instance
(instance humanCapacity SingleValuedRelation) Mid-level-ontology.kif 6362-6362 人的能力单值关系instance
(instance intelligenceQuotient SingleValuedRelation) Mid-level-ontology.kif 11437-11437 智商单值关系instance
(instance invadingVirus SingleValuedRelation) VirusProteinAndCellPart.kif 22-22 入侵病毒单值关系instance

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 3.0 is open source software produced by Articulate Software and its partners