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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - format
format

appearance as argument number 1
-------------------------


s__documentation(s__format__m,s__ChineseLanguage,'这是一种关系,用于指定如何以自然语言格式来介绍表达式。')

Merge.kif 426-426
s__documentation(s__format__m,s__EnglishLanguage,'A relation that specifies how to present an expression in a natural language format.')

Merge.kif 424-425
s__domain(s__format__m,1,s__Language)

Merge.kif 421-421 The number 1 argument of format is an instance of language
s__domain(s__format__m,2,s__Entity)

Merge.kif 422-422 The number 2 argument of format is an instance of entity
s__domain(s__format__m,3,s__SymbolicString)

Merge.kif 423-423 The number 3 argument of format is an instance of symbolic string
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__format__m,s__TernaryPredicate)

Merge.kif 420-420 format is an instance of ternary predicate

appearance as argument number 2
-------------------------


s__format(s__EnglishLanguage,s__format__m,'%3 is the format for %2 in %1')

domainEnglishFormat.kif 878-878
s__termFormat(s__EnglishLanguage,s__format__m,'format')

domainEnglishFormat.kif 4544-4544 "format" is the printable form of format in english language

appearance as argument number 0
-------------------------


s__format(s__ChineseLanguage,s__AbsoluteValueFn__m,'%1 的绝对值')

chinese_format.kif 688-688
s__format(s__ChineseLanguage,s__AbstractionFn__m,'描述 %1')

chinese_format.kif 253-253
s__format(s__ChineseLanguage,plus__m,'(%*[+])')

chinese_format.kif 682-682
s__format(s__ChineseLanguage,s__AssignmentFn__m,'%1(%*{2-}[,])')

chinese_format.kif 346-346
s__format(s__ChineseLanguage,s__BackFn__m,'%1 的后面')

chinese_format.kif 255-255
s__format(s__ChineseLanguage,s__BeginFn__m,'%1 的开始')

chinese_format.kif 449-449
s__format(s__ChineseLanguage,s__BeginNodeFn__m,'%1 的开端')

chinese_format.kif 765-765
s__format(s__ChineseLanguage,s__CardinalityFn__m,'%1 instance 的数量')

chinese_format.kif 506-506
s__format(s__ChineseLanguage,s__CeilingFn__m,'取%1 的顶整数 ')

chinese_format.kif 690-690
s__format(s__ChineseLanguage,s__ComplementFn__m,'%1 的补集')

chinese_format.kif 500-500
s__format(s__ChineseLanguage,s__CosineFn__m,'%1 的馀弦')

chinese_format.kif 692-692
s__format(s__ChineseLanguage,s__CutSetFn__m,'把 %1 分成另外两个图的路径 Set')

chinese_format.kif 777-777
s__format(s__ChineseLanguage,s__DayFn__m,'%1 day ')

chinese_format.kif 469-469
s__format(s__ChineseLanguage,s__DenominatorFn__m,'%1 的分母')

chinese_format.kif 694-694
s__format(s__ChineseLanguage,s__DensityFn__m,'%1 除以 %2')

chinese_format.kif 657-657
s__format(s__ChineseLanguage,divide__m,'%*[/]')

chinese_format.kif 686-686
s__format(s__ChineseLanguage,s__EditionFn__m,'%1的第%2版 ')

chinese_format.kif 559-559
s__format(s__ChineseLanguage,s__EndFn__m,'%1 的结束')

chinese_format.kif 451-451
s__format(s__ChineseLanguage,s__EndNodeFn__m,'%1 的末端')

chinese_format.kif 767-767
s__format(s__ChineseLanguage,s__ExponentiationFn__m,'%1 %2 的次幂')

chinese_format.kif 696-696
s__format(s__ChineseLanguage,s__ExtensionFn__m,'和 %1 对应的 Class')

chinese_format.kif 257-257
s__format(s__ChineseLanguage,s__FloorFn__m,'取 %1 的底整数')

chinese_format.kif 698-698
s__format(s__ChineseLanguage,s__FrontFn__m,' %1 的前面')

chinese_format.kif 259-259
s__format(s__ChineseLanguage,s__FutureFn__m,'%1 之后')

chinese_format.kif 461-461
s__format(s__ChineseLanguage,s__GeneralizedIntersectionFn__m,'把 %1 所有的 element 并成交集')

chinese_format.kif 504-504

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners