format

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


(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 ImmediateFamilyFn "%1 的 immediate 家庭") domainEnglishFormat.kif 1249-1249
(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 InitialProfileFn "%1 的 initial 总则") domainEnglishFormat.kif 1345-1345
(format ChineseLanguage InnerBoundaryFn "%1 的 inner 边界") domainEnglishFormat.kif 1349-1349
(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 JudiciaryFn "%1 的 judiciary ") domainEnglishFormat.kif 1409-1409

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 3.0 is open source software produced by Articulate Software and its partners