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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SingleValuedRelation
SingleValuedRelation

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


(documentation SingleValuedRelation ChineseLanguage "一个 RelationSingleValuedRelation 以确保除了最后一个参数之外,每一个参数的位置只有一个赋值,而最后的参数 顶多可以决定最后一个参数的位置。注:不是所有的 SingleValuedRelation 都是 TotalValuedRelation。") Merge.kif 3550-3552
(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 3545-3548
(documentation SingleValuedRelation JapaneseLanguage "Relation は、 SingleValuedRelation で、最後の引数位置を除くすべての引数位置に値を割り当てるだけで、最後の 引数位置に対して最も 1 つの割り当てを決定する場合に備えてる。 注:すべての SingleValuedRelationTotalValuedRelation ではない。") Merge.kif 3554-3557
(subclass SingleValuedRelation InheritableRelation) Merge.kif 3543-3543
(subclass SingleValuedRelation Relation) Merge.kif 3542-3542

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


(instance StringConcatenateFn SingleValuedRelation) Mid-level-ontology.kif 22225-22225
(instance StringLengthFn SingleValuedRelation) Mid-level-ontology.kif 22197-22197
(instance SubstringFn SingleValuedRelation) Mid-level-ontology.kif 22167-22167
(instance absoluteHeight SingleValuedRelation) MilitaryDevices.kif 1452-1452
(instance age SingleValuedRelation) Merge.kif 10906-10906
(instance altitude SingleValuedRelation) Merge.kif 11115-11115
(instance approximateDiameter SingleValuedRelation) Mid-level-ontology.kif 15650-15650
(instance arcWeight SingleValuedRelation) Merge.kif 8565-8565
(instance average SingleValuedRelation) Merge.kif 7738-7738
(instance conclusion SingleValuedRelation) Merge.kif 21573-21573
(instance currencyType SingleValuedRelation) Economy.kif 2878-2878
(instance date SingleValuedRelation) Merge.kif 12072-12072
(instance depth SingleValuedRelation) Merge.kif 11150-11150
(instance diameter SingleValuedRelation) Merge.kif 11062-11062
(instance distance SingleValuedRelation) Merge.kif 11083-11083
(instance effectiveRange SingleValuedRelation) Mid-level-ontology.kif 1769-1769
(instance electronNumber SingleValuedRelation) Mid-level-ontology.kif 19495-19495
(instance father SingleValuedRelation) Merge.kif 21018-21018
(instance geneticSubstrateOfVirus SingleValuedRelation) VirusProteinAndCellPart.kif 33-33
(instance geometricDistance SingleValuedRelation) Merge.kif 22735-22735
(instance hasDimension SingleValuedRelation) engineering.kif 294-294
(instance hasVariable SingleValuedRelation) engineering.kif 299-299
(instance humanCapacity SingleValuedRelation) Mid-level-ontology.kif 6333-6333
(instance intelligenceQuotient SingleValuedRelation) Mid-level-ontology.kif 10010-10010
(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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners