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 4851-4852
(domain RealNumberFn 1 Number) Merge.kif 4848-4848 The number 1 argument of real number is an instance of number
(instance RealNumberFn UnaryFunction) Merge.kif 4847-4847 Real number is an instance of unary function
(range RealNumberFn RealNumber) Merge.kif 4849-4849 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 723-723
(termFormat ChineseLanguage RealNumberFn "实数") domainEnglishFormat.kif 48839-48839
(termFormat ChineseLanguage RealNumberFn "实数函数") chinese_format.kif 719-719
(termFormat ChineseTraditionalLanguage RealNumberFn "實數") domainEnglishFormat.kif 48838-48838
(termFormat EnglishLanguage RealNumberFn "real number") domainEnglishFormat.kif 48837-48837


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