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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RoundFn

Sigma KEE - RoundFn
RoundFn

appearance as argument number 1
-------------------------


(documentation RoundFn ChineseLanguage "(RoundFn ?NUMBER)是在数字线上最接近 ?NUMBER 的 Integer,如果 ?NUMBER 位于两个 Integer 的一半(例如:3.5)时, 这将会得出较大的 Integer。") chinese_format.kif 2269-2270
(documentation RoundFn EnglishLanguage "(RoundFn ?NUMBER) is the Integer closest to ?NUMBER on the number line. If ?NUMBER is halfway between two Integers (for example 3.5), it denotes the larger Integer.") Merge.kif 5173-5175
(documentation RoundFn JapaneseLanguage "(RoundFn ?NUMBER) は、番号行の?NUMBERに最も近い Integer。?NUMBERが2つの Integer の中間にある場合 (たとえば 3.5)、大きな Integer を示 す。") japanese_format.kif 934-936
(domain RoundFn 1 RealNumber) Merge.kif 5170-5170 Le nombre 1 argument de RoundFn est une instance de nombre r�el
(instance RoundFn TotalValuedRelation) Merge.kif 5169-5169 RoundFn est une instance de relation total
(instance RoundFn UnaryFunction) Merge.kif 5167-5167 RoundFn est une instance de function unaire
(range RoundFn RealNumber) Merge.kif 5171-5171 Le domaine de RoundFn est une instance de nombre r�el

appearance as argument number 2
-------------------------


(format ChineseLanguage RoundFn "四舍五入 %1 为整数") chinese_format.kif 724-724
(format EnglishLanguage RoundFn "%1 rounded") english_format.kif 726-726
(format FrenchLanguage RoundFn "%1 arrondi") french_format.kif 435-435
(format ItalianLanguage RoundFn "%1 arrotondato") relations-it.txt 258-258
(format JapaneseLanguage RoundFn "%1 の rounded") japanese_format.kif 2152-2152
(format PortugueseLanguage RoundFn "%1 arredondado") portuguese_format.kif 387-387
(format de RoundFn "%1 gerundet") relations-de.txt 937-937
(format hi RoundFn "nikaTita %1") relations-hindi.txt 295-295
(format ro RoundFn "%1 rounded%t{rotunjit}") relations-ro.kif 457-457
(format sv RoundFn "%1 avrundat till närmaste heltal") relations-sv.txt 497-497
(termFormat ChineseLanguage RoundFn "四舍五入函数") chinese_format.kif 725-725
(termFormat ChineseLanguage RoundFn "回合") domainEnglishFormat.kif 50522-50522
(termFormat ChineseTraditionalLanguage RoundFn "回合") domainEnglishFormat.kif 50521-50521
(termFormat EnglishLanguage RoundFn "round") domainEnglishFormat.kif 50520-50520


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