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 4903-4904
(domain RealNumberFn 1 Number) Merge.kif 4900-4900
(instance RealNumberFn UnaryFunction) Merge.kif 4899-4899
(range RealNumberFn RealNumber) Merge.kif 4901-4901

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

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