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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - RationalNumberFn

appearance as argument number 1

(documentation RationalNumberFn ChineseLanguage "(RationalNumberFn ?NUMBER)得出 ?NUMBER 的比值。") chinese_format.kif 2259-2260
(documentation RationalNumberFn EnglishLanguage "(RationalNumberFn ?NUMBER) returns the rational representation of ?NUMBER.") Merge.kif 4992-4993
(domain RationalNumberFn 1 Number) Merge.kif 4989-4989
(instance RationalNumberFn UnaryFunction) Merge.kif 4988-4988
(range RationalNumberFn RationalNumber) Merge.kif 4990-4990

appearance as argument number 2

(format ChineseLanguage RationalNumberFn "%1 的有理数") chinese_format.kif 716-716
(format EnglishLanguage RationalNumberFn "the rationalRepresentation of %1") english_format.kif 718-718
(termFormat ChineseLanguage RationalNumberFn "有理数") domainEnglishFormat.kif 48790-48790
(termFormat ChineseLanguage RationalNumberFn "有理数函数") chinese_format.kif 717-717
(termFormat ChineseTraditionalLanguage RationalNumberFn "有理數") domainEnglishFormat.kif 48789-48789
(termFormat EnglishLanguage RationalNumberFn "rational number") domainEnglishFormat.kif 48788-48788

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