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

Formal Language: 



KB Term:  Term intersection
English Word: 

  format

Sigma KEE - format
format

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


(documentation format ChineseLanguage "这是一种关系,用于指定如何以自然语言格式来介绍表达式。") chinese_format.kif 1499-1499
(documentation format EnglishLanguage "A relation that specifies how to present an expression in a natural language format.") Merge.kif 383-384
(documentation format JapaneseLanguage "自然言語形式で表現を提示する方法を指定する関係。") japanese_format.kif 61-61
(domain format 1 Language) Merge.kif 380-380
(domain format 2 Entity) Merge.kif 381-381
(domain format 3 SymbolicString) Merge.kif 382-382
(instance format TernaryPredicate) Merge.kif 379-379

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


(format ChineseLanguage format "%3 是对于 %2 在 %1 的 format") domainEnglishFormat.kif 3468-3468
(format ChineseTraditionalLanguage format "%3 是對於 %2 在 %1 的 format ") domainEnglishFormat.kif 3467-3467
(format EnglishLanguage format "%3 is the format for %2 in %1") domainEnglishFormat.kif 3466-3466
(termFormat ChineseLanguage format "格式") domainEnglishFormat.kif 24756-24756
(termFormat ChineseTraditionalLanguage format "格式") domainEnglishFormat.kif 24755-24755
(termFormat EnglishLanguage format "format") domainEnglishFormat.kif 24754-24754

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


(format ChineseLanguage ABPFn "%1 的 average price ") domainEnglishFormat.kif 2642-2642
(format ChineseLanguage ASPFn "%1 的 average selling price ") domainEnglishFormat.kif 2818-2818
(format ChineseLanguage AbortedFn "由 %2 中止的 %1 ") domainEnglishFormat.kif 20-20
(format ChineseLanguage AbortedLaunchFn "由 %1 中止启动 的 %2 ") domainEnglishFormat.kif 24-24
(format ChineseLanguage AbortedMissionFn "由 %1 中止的 %2 任务") domainEnglishFormat.kif 28-28
(format ChineseLanguage AbsoluteValueFn "%1 的绝对值") chinese_format.kif 688-688
(format ChineseLanguage AbstractionFn "描述 %1") chinese_format.kif 253-253
(format ChineseLanguage AccountFn "%1 的帐号") domainEnglishFormat.kif 36-36
(format ChineseLanguage AdditionFn "(%*[+])") chinese_format.kif 682-682
(format ChineseLanguage AddressFn "%1 的 address") domainEnglishFormat.kif 56-56
(format ChineseLanguage AfternoonFn "%1 的 afternoon ") domainEnglishFormat.kif 2702-2702
(format ChineseLanguage AgentOfOrganismFn "%1 的 biological agent ") domainEnglishFormat.kif 2714-2714
(format ChineseLanguage AgreementOrganizationFn "%1 的 agreement 组织") domainEnglishFormat.kif 92-92
(format ChineseLanguage AlbumCopiesFn "%1 在 %2 的 set 复制") domainEnglishFormat.kif 2742-2742
(format ChineseLanguage AssignmentFn "%1(%*{2-}[,])") chinese_format.kif 346-346
(format ChineseLanguage AssociativeFunction "%1 和 %2 的 associative 功能") domainEnglishFormat.kif 208-208
(format ChineseLanguage AttrFn "%1 跟 %2 的 attr") domainEnglishFormat.kif 220-220
(format ChineseLanguage AuctionGMBFn "%1 的 total purchase price ") domainEnglishFormat.kif 2838-2838
(format ChineseLanguage AvailableForMilitaryServiceMaleFn "%1 的 available 军事服务男性") domainEnglishFormat.kif 224-224
(format ChineseLanguage BackFn "%1 的后面") chinese_format.kif 255-255

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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