format

-------------------------


(format ChineseLanguage GeneralizedUnionFn "结合 %1 所有的 element") chinese_format.kif 502-502
(format ChineseLanguage GigaFn "%1 的十亿倍") chinese_format.kif 639-639
(format ChineseLanguage GovernmentFn "%1 的 Government") chinese_format.kif 802-802
(format ChineseLanguage GraphPathFn "%1 和 %2 的路径集 Set") chinese_format.kif 775-775
(format ChineseLanguage GreatestCommonDivisorFn "%*[and] 的最大公因数") chinese_format.kif 700-700
(format ChineseLanguage HoleHostFn "洞 %1 的主体") chinese_format.kif 401-401
(format ChineseLanguage HoleSkinFn "洞 %1 的 surface") chinese_format.kif 403-403
(format ChineseLanguage HourFn "%1 hour") chinese_format.kif 471-471
(format ChineseLanguage ImaginaryPartFn "%1 的虚数") chinese_format.kif 702-702
(format ChineseLanguage ImmediateFutureFn "紧接 %1 after") chinese_format.kif 463-463
(format ChineseLanguage ImmediatePastFn "紧接 %1 before") chinese_format.kif 459-459
(format ChineseLanguage InitialNodeFn "%1 节点的起点") chinese_format.kif 761-761
(format ChineseLanguage IntegerSquareRootFn "%1 的整数平方根") chinese_format.kif 704-704
(format ChineseLanguage IntersectionFn "结合 %1 和 %2") chinese_format.kif 496-496
(format ChineseLanguage IntervalFn "由 %1 和 %2 之间的值") chinese_format.kif 651-651
(format ChineseLanguage KappaFn " %1 所描述的类别") chinese_format.kif 508-508
(format ChineseLanguage KiloFn "%1 的一千倍") chinese_format.kif 635-635
(format ChineseLanguage LeastCommonMultipleFn "%*[and] 的最小公倍数") chinese_format.kif 706-706
(format ChineseLanguage LineFn "%1 和 %2 之间线路") ComputingBrands.kif 2443-2443
(format ChineseLanguage ListConcatenateFn "List包含 %1 和 %2") chinese_format.kif 267-267
(format ChineseLanguage ListFn "(%*[,])") chinese_format.kif 261-261
(format ChineseLanguage ListLengthFn "%1 的长度") chinese_format.kif 265-265
(format ChineseLanguage ListOrderFn "%1 的第 %2 几个元素") chinese_format.kif 263-263
(format ChineseLanguage LogFn "%1 的对数") chinese_format.kif 708-708
(format ChineseLanguage MagnitudeFn "%1 的幅度") chinese_format.kif 655-655

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners