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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RealNumberFn

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 The number 1 argument of real number is an instance of number
(instance RealNumberFn UnaryFunction) Merge.kif 5060-5060 Real number is an instance of unary function
(range RealNumberFn RealNumber) Merge.kif 5062-5062 The range of real number is an instance of real number

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 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