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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 The number 1 argument of round is an instance of real number
(instance RoundFn TotalValuedRelation) Merge.kif 5169-5169 Round is an instance of total valued relation
(instance RoundFn UnaryFunction) Merge.kif 5167-5167 Round is an instance of unary function
(range RoundFn RealNumber) Merge.kif 5171-5171 The range of round is an instance of real number

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 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