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,'"这是一种关系,用于指定如何以自然语言格式来介绍表达式。"')

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

Merge.kif 382-383
s__domain(s__format__m,n__1,s__Language)

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

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

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

s__instance(s__format__m,s__TernaryPredicate)

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

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


s__format(s__ChineseLanguage,s__format__m,'"%3 是对于 %2 在 %1 的 format"')

domainEnglishFormat.kif 3479-3479
s__format(s__ChineseTraditionalLanguage,s__format__m,'"%3 是對於 %2 在 %1 的 format "')

domainEnglishFormat.kif 3478-3478
s__format(s__EnglishLanguage,s__format__m,'"%3 is the format for %2 in %1"')

domainEnglishFormat.kif 3477-3477
s__termFormat(s__ChineseLanguage,s__format__m,'"格式"')

domainEnglishFormat.kif 24729-24729
s__termFormat(s__ChineseTraditionalLanguage,s__format__m,'"格式"')

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

domainEnglishFormat.kif 24727-24727

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


s__format(s__ChineseLanguage,s__ABPFn__m,'"%1 的 average price "')

domainEnglishFormat.kif 2651-2651
s__format(s__ChineseLanguage,s__ASPFn__m,'"%1 的 average selling price "')

domainEnglishFormat.kif 2827-2827
s__format(s__ChineseLanguage,s__AbortedFn__m,'"由 %2 中止的 %1 "')

domainEnglishFormat.kif 20-20
s__format(s__ChineseLanguage,s__AbortedLaunchFn__m,'"由 %1 中止启动 的 %2 "')

domainEnglishFormat.kif 24-24
s__format(s__ChineseLanguage,s__AbortedMissionFn__m,'"由 %1 中止的 %2 任务"')

domainEnglishFormat.kif 28-28
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,s__AccountFn__m,'"%1 的帐号"')

domainEnglishFormat.kif 36-36
s__format(s__ChineseLanguage,s__AdditionFn__m,'"(%*[+])"')

chinese_format.kif 682-682
s__format(s__ChineseLanguage,s__AddressFn__m,'"%1 的 address"')

domainEnglishFormat.kif 56-56
s__format(s__ChineseLanguage,s__AfternoonFn__m,'"%1 的 afternoon "')

domainEnglishFormat.kif 2711-2711
s__format(s__ChineseLanguage,s__AgentOfOrganismFn__m,'"%1 的 biological agent "')

domainEnglishFormat.kif 2723-2723
s__format(s__ChineseLanguage,s__AgreementOrganizationFn__m,'"%1 的 agreement 组织"')

domainEnglishFormat.kif 92-92
s__format(s__ChineseLanguage,s__AlbumCopiesFn__m,'"%1 在 %2 的 set 复制"')

domainEnglishFormat.kif 2751-2751
s__format(s__ChineseLanguage,s__AssignmentFn__m,'"%1(%*{2-}[,])"')

chinese_format.kif 346-346
s__format(s__ChineseLanguage,s__AssociativeFunction,'"%1 和 %2 的 associative 功能"')

domainEnglishFormat.kif 208-208
s__format(s__ChineseLanguage,s__AttrFn__m,'"%1 跟 %2 的 attr"')

domainEnglishFormat.kif 220-220
s__format(s__ChineseLanguage,s__AuctionGMBFn__m,'"%1 的 total purchase price "')

domainEnglishFormat.kif 2847-2847
s__format(s__ChineseLanguage,s__AvailableForMilitaryServiceMaleFn__m,'"%1 的 available 军事服务男性"')

domainEnglishFormat.kif 224-224
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__BeliefGroupMemberFn__m,'"%1 的 member "')

domainEnglishFormat.kif 2887-2887
s__format(s__ChineseLanguage,s__BidCountFn__m,'"在 %1 的 bids 數字"')

domainEnglishFormat.kif 2895-2895
s__format(s__ChineseLanguage,s__BinaryFunction,'"%1 和 %2 的 binary 功能"')

domainEnglishFormat.kif 280-280

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