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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RealNumberFn
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 RealNumberFn の数値 1 引数は instance では %n
(instance RealNumberFn UnaryFunction) Merge.kif 5060-5060 RealNumberFn1変数関数instance では %n
(range RealNumberFn RealNumber) Merge.kif 5062-5062 RealNumberFnrange実数 のインスタンス では %n

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 48920-48920
(termFormat ChineseLanguage RealNumberFn "实数函数") chinese_format.kif 719-719
(termFormat ChineseTraditionalLanguage RealNumberFn "實數") domainEnglishFormat.kif 48919-48919
(termFormat EnglishLanguage RealNumberFn "real number") domainEnglishFormat.kif 48918-48918


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