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 5073-5075
(domain RoundFn 1 RealNumber) Merge.kif 5070-5070
(instance RoundFn TotalValuedRelation) Merge.kif 5069-5069
(instance RoundFn UnaryFunction) Merge.kif 5067-5067
(range RoundFn RealNumber) Merge.kif 5071-5071

appearance as argument number 2

(format ChineseLanguage RoundFn "四舍五入 %1 为整数") chinese_format.kif 724-724
(format EnglishLanguage RoundFn "%1 rounded") english_format.kif 726-726
(termFormat ChineseLanguage RoundFn "四舍五入函数") chinese_format.kif 725-725
(termFormat ChineseLanguage RoundFn "回合") domainEnglishFormat.kif 50505-50505
(termFormat ChineseTraditionalLanguage RoundFn "回合") domainEnglishFormat.kif 50504-50504
(termFormat EnglishLanguage RoundFn "round") domainEnglishFormat.kif 50503-50503

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