| 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 5167-5169 | |
| (documentation RoundFn JapaneseLanguage "(RoundFn ?NUMBER) は、番号行の?NUMBERに最も近い Integer。?NUMBERが２つの Integer の中間にある場合 (たとえば 3.5)、大きな Integer を示 す。") | japanese_format.kif 934-936 | |
| (domain RoundFn 1 RealNumber) | Merge.kif 5164-5164 | The number 1 argument of round is an instance of real number |
| (instance RoundFn TotalValuedRelation) | Merge.kif 5163-5163 | Round is an instance of total valued relation |
| (instance RoundFn UnaryFunction) | Merge.kif 5161-5161 | Round is an instance of unary function |
| (range RoundFn RealNumber) | Merge.kif 5165-5165 | 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 50555-50555 | |
| (termFormat ChineseTraditionalLanguage RoundFn "回合") | domainEnglishFormat.kif 50554-50554 | |
| (termFormat EnglishLanguage RoundFn "round") | domainEnglishFormat.kif 50553-50553 | |
| (termFormat de RoundFn "RundFn") | terms-de.txt 287-287 |
|
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