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 2156-2159
(subclass SingleValuedRelation InheritableRelation) Merge.kif 2154-2154 subclass SingleValuedRelation and InheritableRelation
(subclass SingleValuedRelation Relation) Merge.kif 2153-2153 subclass SingleValuedRelation and Relation

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


(instance StringConcatenateFn SingleValuedRelation) Mid-level-ontology.kif 24363-24363 instance StringConcatenateFn and SingleValuedRelation
(instance StringLengthFn SingleValuedRelation) Mid-level-ontology.kif 24336-24336 instance StringLengthFn and SingleValuedRelation
(instance SubstringFn SingleValuedRelation) Mid-level-ontology.kif 24306-24306 instance SubstringFn and SingleValuedRelation
(instance absoluteHeight SingleValuedRelation) MilitaryDevices.kif 1453-1453 instance absoluteHeight and SingleValuedRelation
(instance age SingleValuedRelation) Merge.kif 7483-7483 instance age and SingleValuedRelation
(instance altitude SingleValuedRelation) Merge.kif 7666-7666 instance altitude and SingleValuedRelation
(instance approximateDiameter SingleValuedRelation) Mid-level-ontology.kif 17765-17765 instance approximateDiameter and SingleValuedRelation
(instance arcWeight SingleValuedRelation) Merge.kif 5930-5930 instance arcWeight and SingleValuedRelation
(instance average SingleValuedRelation) Merge.kif 5326-5326 instance average and SingleValuedRelation
(instance conclusion SingleValuedRelation) Merge.kif 16743-16743 instance conclusion and SingleValuedRelation
(instance currencyType SingleValuedRelation) Economy.kif 2886-2886 instance currencyType and SingleValuedRelation
(instance date SingleValuedRelation) Merge.kif 8508-8508 instance date and SingleValuedRelation
(instance depth SingleValuedRelation) Merge.kif 7693-7693 instance depth and SingleValuedRelation
(instance diameter SingleValuedRelation) Merge.kif 7628-7628 instance diameter and SingleValuedRelation
(instance distance SingleValuedRelation) Merge.kif 7643-7643 instance distance and SingleValuedRelation
(instance effectiveRange SingleValuedRelation) Mid-level-ontology.kif 1352-1352 instance effectiveRange and SingleValuedRelation
(instance electronNumber SingleValuedRelation) Mid-level-ontology.kif 21655-21655 instance electronNumber and SingleValuedRelation
(instance father SingleValuedRelation) Merge.kif 16268-16268 instance father and SingleValuedRelation
(instance geneticSubstrateOfVirus SingleValuedRelation) VirusProteinAndCellPart.kif 33-33 instance geneticSubstrateOfVirus and SingleValuedRelation
(instance geometricDistance SingleValuedRelation) Merge.kif 17814-17814 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 6658-6658 instance humanCapacity and SingleValuedRelation
(instance intelligenceQuotient SingleValuedRelation) Mid-level-ontology.kif 11799-11799 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 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