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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 2091-2094
(subclass SingleValuedRelation InheritableRelation) Merge.kif 2089-2089
(subclass SingleValuedRelation Relation) Merge.kif 2088-2088

appearance as argument number 2

(instance StringConcatenateFn SingleValuedRelation) Mid-level-ontology.kif 20712-20712
(instance StringLengthFn SingleValuedRelation) Mid-level-ontology.kif 20684-20684
(instance SubstringFn SingleValuedRelation) Mid-level-ontology.kif 20654-20654
(instance absoluteHeight SingleValuedRelation) MilitaryDevices.kif 1453-1453
(instance age SingleValuedRelation) Merge.kif 7184-7184
(instance altitude SingleValuedRelation) Merge.kif 7325-7325
(instance approximateDiameter SingleValuedRelation) Mid-level-ontology.kif 14525-14525
(instance arcWeight SingleValuedRelation) Merge.kif 5660-5660
(instance average SingleValuedRelation) Merge.kif 5089-5089
(instance conclusion SingleValuedRelation) Merge.kif 15763-15763
(instance currencyType SingleValuedRelation) Economy.kif 2878-2878
(instance date SingleValuedRelation) Merge.kif 8031-8031
(instance depth SingleValuedRelation) Merge.kif 7352-7352
(instance diameter SingleValuedRelation) Merge.kif 7287-7287
(instance distance SingleValuedRelation) Merge.kif 7302-7302
(instance effectiveRange SingleValuedRelation) Mid-level-ontology.kif 1324-1324
(instance electronNumber SingleValuedRelation) Mid-level-ontology.kif 18181-18181
(instance father SingleValuedRelation) Merge.kif 15294-15294
(instance geneticSubstrateOfVirus SingleValuedRelation) VirusProteinAndCellPart.kif 33-33
(instance geometricDistance SingleValuedRelation) Merge.kif 16709-16709
(instance hasDimension SingleValuedRelation) engineering.kif 295-295
(instance hasVariable SingleValuedRelation) engineering.kif 302-302
(instance humanCapacity SingleValuedRelation) Mid-level-ontology.kif 5737-5737
(instance intelligenceQuotient SingleValuedRelation) Mid-level-ontology.kif 9157-9157
(instance invadingVirus SingleValuedRelation) VirusProteinAndCellPart.kif 22-22

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