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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - RealNumberFn

appearance as argument number 1

(documentation RealNumberFn ChineseLanguage "(RealNumberFn ?NUMBER)得出 ?NUMBER 的 RealNumber 部分。") chinese_format.kif 2261-2262
(documentation RealNumberFn EnglishLanguage "(RealNumberFn ?NUMBER) returns the part of ?NUMBER that is a RealNumber.") Merge.kif 5064-5065
(documentation RealNumberFn JapaneseLanguage "(RealNumberFn ?NUMBER) は、RealNumber で ある?NUMBERの部分を返す。") japanese_format.kif 925-926
(domain RealNumberFn 1 Number) Merge.kif 5061-5061
(instance RealNumberFn UnaryFunction) Merge.kif 5060-5060
(range RealNumberFn RealNumber) Merge.kif 5062-5062

appearance as argument number 2

(format ChineseLanguage RealNumberFn "%1 的实数") chinese_format.kif 718-718
(format EnglishLanguage RealNumberFn "the realPart of %1") english_format.kif 720-720
(format FrenchLanguage RealNumberFn "la partie r�elle de %1") french_format.kif 432-432
(format ItalianLanguage RealNumberFn "la parte reale di %1") relations-it.txt 243-243
(format JapaneseLanguage RealNumberFn "%1の realPart") japanese_format.kif 2149-2149
(format PortugueseLanguage RealNumberFn "a parte real de %1") portuguese_format.kif 384-384
(format de RealNumberFn "das reelle teil von %1") relations-de.txt 931-931
(format hi RealNumberFn "%1 kaa vaastavika bhaaga") relations-hindi.txt 281-281
(format ro RealNumberFn "partea real%t{realã} a lui %1") relations-ro.kif 454-454
(format sv RealNumberFn "den reella delen av %1") relations-sv.txt 489-489
(termFormat ChineseLanguage RealNumberFn "实数") domainEnglishFormat.kif 48932-48932
(termFormat ChineseLanguage RealNumberFn "实数函数") chinese_format.kif 719-719
(termFormat ChineseTraditionalLanguage RealNumberFn "實數") domainEnglishFormat.kif 48931-48931
(termFormat EnglishLanguage RealNumberFn "real number") domainEnglishFormat.kif 48930-48930

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