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

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


(instance StringConcatenateFn SingleValuedRelation) Mid-level-ontology.kif 24529-24529 StringConcatenateFn一価関係instance では %n
(instance StringLengthFn SingleValuedRelation) Mid-level-ontology.kif 24502-24502 StringLengthFn一価関係instance では %n
(instance SubstringFn SingleValuedRelation) Mid-level-ontology.kif 24472-24472 SubstringFn一価関係instance では %n
(instance absoluteHeight SingleValuedRelation) MilitaryDevices.kif 1453-1453 absoluteHeight一価関係instance では %n
(instance age SingleValuedRelation) Merge.kif 7517-7517 age一価関係instance では %n
(instance altitude SingleValuedRelation) Merge.kif 7735-7735 altitude一価関係instance では %n
(instance approximateDiameter SingleValuedRelation) Mid-level-ontology.kif 17972-17972 approximateDiameter一価関係instance では %n
(instance arcWeight SingleValuedRelation) Merge.kif 5964-5964 arcWeight一価関係instance では %n
(instance average SingleValuedRelation) Merge.kif 5360-5360 average一価関係instance では %n
(instance conclusion SingleValuedRelation) Merge.kif 16964-16964 conclusion一価関係instance では %n
(instance currencyType SingleValuedRelation) Economy.kif 2875-2875 currencyType一価関係instance では %n
(instance date SingleValuedRelation) Merge.kif 8579-8579 date一価関係instance では %n
(instance depth SingleValuedRelation) Merge.kif 7762-7762 depth一価関係instance では %n
(instance diameter SingleValuedRelation) Merge.kif 7693-7693 diameter一価関係instance では %n
(instance distance SingleValuedRelation) Merge.kif 7712-7712 distance一価関係instance では %n
(instance effectiveRange SingleValuedRelation) Mid-level-ontology.kif 1378-1378 effectiveRange一価関係instance では %n
(instance electronNumber SingleValuedRelation) Mid-level-ontology.kif 21733-21733 electronNumber一価関係instance では %n
(instance father SingleValuedRelation) Merge.kif 16489-16489 father一価関係instance では %n
(instance geneticSubstrateOfVirus SingleValuedRelation) VirusProteinAndCellPart.kif 33-33 geneticSubstrateOfVirus一価関係instance では %n
(instance geometricDistance SingleValuedRelation) Merge.kif 18051-18051 geometricDistance一価関係instance では %n
(instance hasDimension SingleValuedRelation) engineering.kif 296-296 hasDimension一価関係instance では %n
(instance hasVariable SingleValuedRelation) engineering.kif 303-303 hasVariable一価関係instance では %n
(instance humanCapacity SingleValuedRelation) Mid-level-ontology.kif 6692-6692 humanCapacity一価関係instance では %n
(instance intelligenceQuotient SingleValuedRelation) Mid-level-ontology.kif 11979-11979 intelligenceQuotient一価関係instance では %n
(instance invadingVirus SingleValuedRelation) VirusProteinAndCellPart.kif 22-22 invadingVirus一価関係instance では %n

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