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 "一个 Relation是 SingleValuedRelation 以确保除了最后一个参数之外，每一个参数的位置只有一个赋值，而最后的参数 顶多可以决定最后一个参数的位置。注：不是所有的 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 つの割り当てを決定する場合に備えてる。 注：すべての SingleValuedRelation が TotalValuedRelation ではない。") japanese_format.kif 438-441
(subclass SingleValuedRelation InheritableRelation) Merge.kif 2177-2177 子類 SingleValuedRelation and 可繼承的關係
(subclass SingleValuedRelation Relation) Merge.kif 2176-2176 子類 SingleValuedRelation and Relation

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


(instance StringConcatenateFn SingleValuedRelation) Mid-level-ontology.kif 24472-24472 例 StringConcatenateFn and SingleValuedRelation
(instance StringLengthFn SingleValuedRelation) Mid-level-ontology.kif 24445-24445 例 StringLengthFn and SingleValuedRelation
(instance SubstringFn SingleValuedRelation) Mid-level-ontology.kif 24415-24415 例 SubstringFn and SingleValuedRelation
(instance absoluteHeight SingleValuedRelation) MilitaryDevices.kif 1453-1453 例 絕對高度 and SingleValuedRelation
(instance age SingleValuedRelation) Merge.kif 7516-7516 例 年齡 and SingleValuedRelation
(instance altitude SingleValuedRelation) Merge.kif 7699-7699 例 高度 and SingleValuedRelation
(instance approximateDiameter SingleValuedRelation) Mid-level-ontology.kif 17945-17945 例 approximateDiameter and SingleValuedRelation
(instance arcWeight SingleValuedRelation) Merge.kif 5963-5963 例 弧重 and SingleValuedRelation
(instance average SingleValuedRelation) Merge.kif 5359-5359 例 平均 and SingleValuedRelation
(instance conclusion SingleValuedRelation) Merge.kif 16893-16893 例 結論 and SingleValuedRelation
(instance currencyType SingleValuedRelation) Economy.kif 2875-2875 例 貨幣類型 and SingleValuedRelation
(instance date SingleValuedRelation) Merge.kif 8543-8543 例 日期 and SingleValuedRelation
(instance depth SingleValuedRelation) Merge.kif 7726-7726 例 深度 and SingleValuedRelation
(instance diameter SingleValuedRelation) Merge.kif 7661-7661 例 直徑 and SingleValuedRelation
(instance distance SingleValuedRelation) Merge.kif 7676-7676 例 距離 and SingleValuedRelation
(instance effectiveRange SingleValuedRelation) Mid-level-ontology.kif 1385-1385 例 有效範圍 and SingleValuedRelation
(instance electronNumber SingleValuedRelation) Mid-level-ontology.kif 21706-21706 例 電子數 and SingleValuedRelation
(instance father SingleValuedRelation) Merge.kif 16418-16418 例 父親 and SingleValuedRelation
(instance geneticSubstrateOfVirus SingleValuedRelation) VirusProteinAndCellPart.kif 33-33 例 病毒的遺傳基質 and SingleValuedRelation
(instance geometricDistance SingleValuedRelation) Merge.kif 17972-17972 例 幾何距離 and SingleValuedRelation
(instance hasDimension SingleValuedRelation) engineering.kif 296-296 例 有維度 and SingleValuedRelation
(instance hasVariable SingleValuedRelation) engineering.kif 303-303 例 有變數 and SingleValuedRelation
(instance humanCapacity SingleValuedRelation) Mid-level-ontology.kif 6698-6698 例 人的能力 and SingleValuedRelation
(instance intelligenceQuotient SingleValuedRelation) Mid-level-ontology.kif 11952-11952 例 智商 and SingleValuedRelation
(instance invadingVirus SingleValuedRelation) VirusProteinAndCellPart.kif 22-22 例 入侵病毒 and SingleValuedRelation

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