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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SingleValuedRelation

Sigma KEE - SingleValuedRelation
SingleValuedRelation(relation simple)

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 2179-2182
(documentation SingleValuedRelation JapaneseLanguage "Relation は、 SingleValuedRelation で、最後の引数位置を除くすべての引数位置に値を割り当てるだけで、最後の 引数位置に対して最も 1 つの割り当てを決定する場合に備えてる。 注:すべての SingleValuedRelationTotalValuedRelation ではない。") japanese_format.kif 438-441
(subclass SingleValuedRelation InheritableRelation) Merge.kif 2177-2177 Relation simple est une sous-classe de InheritableRelation
(subclass SingleValuedRelation Relation) Merge.kif 2176-2176 Relation simple est une sous-classe de relation

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


(instance StringConcatenateFn SingleValuedRelation) Mid-level-ontology.kif 24472-24472 StringConcatenateFn est une instance de relation simple
(instance StringLengthFn SingleValuedRelation) Mid-level-ontology.kif 24445-24445 StringLengthFn est une instance de relation simple
(instance SubstringFn SingleValuedRelation) Mid-level-ontology.kif 24415-24415 SubstringFn est une instance de relation simple
(instance absoluteHeight SingleValuedRelation) MilitaryDevices.kif 1453-1453 absoluteHeight est une instance de relation simple
(instance age SingleValuedRelation) Merge.kif 7516-7516 age est une instance de relation simple
(instance altitude SingleValuedRelation) Merge.kif 7699-7699 altitude est une instance de relation simple
(instance approximateDiameter SingleValuedRelation) Mid-level-ontology.kif 17945-17945 approximateDiameter est une instance de relation simple
(instance arcWeight SingleValuedRelation) Merge.kif 5963-5963 arcWeight est une instance de relation simple
(instance average SingleValuedRelation) Merge.kif 5359-5359 average est une instance de relation simple
(instance conclusion SingleValuedRelation) Merge.kif 16893-16893 conclusion est une instance de relation simple
(instance currencyType SingleValuedRelation) Economy.kif 2875-2875 currencyType est une instance de relation simple
(instance date SingleValuedRelation) Merge.kif 8543-8543 date est une instance de relation simple
(instance depth SingleValuedRelation) Merge.kif 7726-7726 depth est une instance de relation simple
(instance diameter SingleValuedRelation) Merge.kif 7661-7661 diameter est une instance de relation simple
(instance distance SingleValuedRelation) Merge.kif 7676-7676 distance est une instance de relation simple
(instance effectiveRange SingleValuedRelation) Mid-level-ontology.kif 1385-1385 effectiveRange est une instance de relation simple
(instance electronNumber SingleValuedRelation) Mid-level-ontology.kif 21706-21706 electronNumber est une instance de relation simple
(instance father SingleValuedRelation) Merge.kif 16418-16418 father est une instance de relation simple
(instance geneticSubstrateOfVirus SingleValuedRelation) VirusProteinAndCellPart.kif 33-33 geneticSubstrateOfVirus est une instance de relation simple
(instance geometricDistance SingleValuedRelation) Merge.kif 17972-17972 geometricDistance est une instance de relation simple
(instance hasDimension SingleValuedRelation) engineering.kif 296-296 hasDimension est une instance de relation simple
(instance hasVariable SingleValuedRelation) engineering.kif 303-303 hasVariable est une instance de relation simple
(instance humanCapacity SingleValuedRelation) Mid-level-ontology.kif 6698-6698 humanCapacity est une instance de relation simple
(instance intelligenceQuotient SingleValuedRelation) Mid-level-ontology.kif 11952-11952 intelligenceQuotient est une instance de relation simple
(instance invadingVirus SingleValuedRelation) VirusProteinAndCellPart.kif 22-22 invadingVirus est une instance de relation simple

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