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 4810-4811
(domain RealNumberFn 1 Number) Merge.kif 4807-4807 The number 1 argument of real number is an instance of number
(instance RealNumberFn UnaryFunction) Merge.kif 4806-4806 Real number is an instance of unary function
(range RealNumberFn RealNumber) Merge.kif 4808-4808 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 48818-48818
(termFormat ChineseLanguage RealNumberFn "实数函数") chinese_format.kif 719-719
(termFormat ChineseTraditionalLanguage RealNumberFn "實數") domainEnglishFormat.kif 48817-48817
(termFormat EnglishLanguage RealNumberFn "real number") domainEnglishFormat.kif 48816-48816


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners