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
-------------------------


(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 格式 的 1 数量 是 语言instance
(domain format 2 Entity) Merge.kif 381-381 格式 的 2 数量 是 实体instance
(domain format 3 SymbolicString) Merge.kif 382-382 格式 的 3 数量 是 符号串instance
(instance format TernaryPredicate) Merge.kif 379-379 格式三元谓语instance

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


(format ChineseLanguage format "%3 是对于 %2 在 %1 的 format") domainEnglishFormat.kif 3474-3474
(format ChineseTraditionalLanguage format "%3 是對於 %2 在 %1 的 format ") domainEnglishFormat.kif 3473-3473
(format EnglishLanguage format "%3 is the format for %2 in %1") domainEnglishFormat.kif 3472-3472
(termFormat ChineseLanguage format "格式") domainEnglishFormat.kif 24734-24734
(termFormat ChineseTraditionalLanguage format "格式") domainEnglishFormat.kif 24733-24733
(termFormat EnglishLanguage format "format") domainEnglishFormat.kif 24732-24732

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


(format ChineseLanguage ABPFn "%1 的 average price ") domainEnglishFormat.kif 2650-2650
(format ChineseLanguage ASPFn "%1 的 average selling price ") domainEnglishFormat.kif 2826-2826
(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 2710-2710
(format ChineseLanguage AgentOfOrganismFn "%1 的 biological agent ") domainEnglishFormat.kif 2722-2722
(format ChineseLanguage AgreementOrganizationFn "%1 的 agreement 组织") domainEnglishFormat.kif 92-92
(format ChineseLanguage AlbumCopiesFn "%1 在 %2 的 set 复制") domainEnglishFormat.kif 2750-2750
(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 2846-2846
(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 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