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 5050-5051
(documentation RealNumberFn JapaneseLanguage "(RealNumberFn ?NUMBER) は、RealNumber で ある?NUMBERの部分を返す。") japanese_format.kif 925-926
(domain RealNumberFn 1 Number) Merge.kif 5047-5047
(instance RealNumberFn UnaryFunction) Merge.kif 5046-5046
(range RealNumberFn RealNumber) Merge.kif 5048-5048

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
    (or "den reella delen av %1" "realdelen av %1"))
relations-sv.txt 489-490
(termFormat ChineseLanguage RealNumberFn "实数") domainEnglishFormat.kif 48941-48941
(termFormat ChineseLanguage RealNumberFn "实数函数") chinese_format.kif 719-719
(termFormat ChineseTraditionalLanguage RealNumberFn "實數") domainEnglishFormat.kif 48940-48940
(termFormat EnglishLanguage RealNumberFn "real number") domainEnglishFormat.kif 48939-48939

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