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 "这是一种关系,用于指定如何以自然语言格式来介绍表达式。") Merge.kif 561-561
(documentation format EnglishLanguage "A relation that specifies how to present an expression in a natural language format.") Merge.kif 558-559
(documentation format JapaneseLanguage "自然言語形式で表現を提示する方法を指定する関係。") Merge.kif 563-563
(domain format 1 Language) Merge.kif 555-555
(domain format 2 Entity) Merge.kif 556-556
(domain format 3 SymbolicString) Merge.kif 557-557
(instance format TernaryPredicate) Merge.kif 554-554

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


(format ChineseLanguage format "%3 是对于 %2 在 %1 的 format") domainEnglishFormat.kif 3475-3475
(format ChineseTraditionalLanguage format "%3 是對於 %2 在 %1 的 format ") domainEnglishFormat.kif 3474-3474
(format EnglishLanguage format "%3 is the format for %2 in %1") domainEnglishFormat.kif 3473-3473
(termFormat ChineseLanguage format "格式") domainEnglishFormat.kif 24667-24667
(termFormat ChineseTraditionalLanguage format "格式") domainEnglishFormat.kif 24666-24666
(termFormat EnglishLanguage format "format") domainEnglishFormat.kif 24665-24665

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


(format ChineseLanguage ABPFn "%1 的 average price ") domainEnglishFormat.kif 2647-2647
(format ChineseLanguage ASPFn "%1 的 average selling price ") domainEnglishFormat.kif 2823-2823
(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 AccountOfServiceFn "%1 的 account ") domainEnglishFormat.kif 2683-2683
(format ChineseLanguage AdditionFn "(%*[+])") chinese_format.kif 682-682
(format ChineseLanguage AddressFn "%1 的 address") domainEnglishFormat.kif 56-56
(format ChineseLanguage AfternoonFn "%1 的 afternoon ") domainEnglishFormat.kif 2707-2707
(format ChineseLanguage AgentOfOrganismFn "%1 的 biological agent ") domainEnglishFormat.kif 2719-2719
(format ChineseLanguage AgreementOrganizationFn "%1 的 agreement 组织") domainEnglishFormat.kif 92-92
(format ChineseLanguage AgricultureFn "%1 的 agriculture") domainEnglishFormat.kif 112-112
(format ChineseLanguage AgricultureFn "产生 %1 的 %process ") domainEnglishFormat.kif 2739-2739
(format ChineseLanguage AlbumCopiesFn "%1 在 %2 的 set 复制") domainEnglishFormat.kif 2747-2747
(format ChineseLanguage AssignmentFn "%1(%*{2-}[,])") chinese_format.kif 346-346
(format ChineseLanguage AssociateDegreeFn "associates degree 在 %1 从 %2 ") domainEnglishFormat.kif 2827-2827
(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 2843-2843
(format ChineseLanguage AvailableForMilitaryServiceMaleFn "%1 的 available 军事服务男性") domainEnglishFormat.kif 224-224
(format ChineseLanguage BachelorDegreeFn "degree 在 %1 從 %2 ") domainEnglishFormat.kif 2863-2863
(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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners