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

Formal Language: 



KB Term:  Term intersection
English Word: 

  termFormat

Sigma KEE - termFormat
termFormat

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


(documentation termFormat ChineseLanguage "这是一种关系,用于指定如何以自然语言格式来介绍一个术语。") chinese_format.kif 1400-1400
(documentation termFormat EnglishLanguage "A relation that specifies how to present a term in a natural language format.") Merge.kif 391-392
(domain termFormat 1 Language) Merge.kif 388-388 The number 1 argument of term format is an instance of language
(domain termFormat 2 Entity) Merge.kif 389-389 The number 2 argument of term format is an instance of entity
(domain termFormat 3 SymbolicString) Merge.kif 390-390 The number 3 argument of term format is an instance of symbolic string
(instance termFormat TernaryPredicate) Merge.kif 387-387 term format is an instance of ternary predicate

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


(format ChineseLanguage termFormat "%3 是 %2 的 printable form 在 %1 ") domainEnglishFormat.kif 4778-4778
(format ChineseTraditionalLanguage termFormat "%3 是 %2 的 printable form 在 %1 ") domainEnglishFormat.kif 4777-4777
(format EnglishLanguage termFormat "%3 is the printable form of %2 in %1") domainEnglishFormat.kif 4776-4776
(termFormat ChineseLanguage termFormat "术语格式") domainEnglishFormat.kif 57498-57498
(termFormat ChineseTraditionalLanguage termFormat "術語格式") domainEnglishFormat.kif 57497-57497
(termFormat EnglishLanguage termFormat "term format") domainEnglishFormat.kif 57496-57496

antecedent
-------------------------


(=>
    (termFormat ?TERM ?LANGUAGE ?STRING)
    (names ?STRING ?TERM))
Media.kif 31-33

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


(termFormat ChineseLanguage 5GNetwork "5G 网路") ComputingBrands.kif 1405-1405
(termFormat ChineseLanguage 5GNetwork "5G") ComputingBrands.kif 1401-1401
(termFormat ChineseLanguage AAA-Rating "AAA评级") domainEnglishFormat.kif 5022-5022
(termFormat ChineseLanguage AGM "AGM") domainEnglishFormat.kif 5870-5870
(termFormat ChineseLanguage AGM114 "AG m114") domainEnglishFormat.kif 5876-5876
(termFormat ChineseLanguage AGM65 "AG m65") domainEnglishFormat.kif 5882-5882
(termFormat ChineseLanguage AH1 "A h1") domainEnglishFormat.kif 6038-6038
(termFormat ChineseLanguage AIM9 "AI m9") domainEnglishFormat.kif 6056-6056
(termFormat ChineseLanguage AMRadioStation "AM广播电台") domainEnglishFormat.kif 7310-7310
(termFormat ChineseLanguage AMRadioSystem "AM无线电系统") domainEnglishFormat.kif 7316-7316
(termFormat ChineseLanguage AONOrder "AON 订单") domainEnglishFormat.kif 7946-7946
(termFormat ChineseLanguage APC "APC") domainEnglishFormat.kif 7964-7964
(termFormat ChineseLanguage APucikwarLanguage "一种 pucikwar 语言") domainEnglishFormat.kif 8066-8066
(termFormat ChineseLanguage ASEANRegionalForum "东盟区域论坛") domainEnglishFormat.kif 8642-8642
(termFormat ChineseLanguage ATMMachine "自动提款机") domainEnglishFormat.kif 8912-8912
(termFormat ChineseLanguage ATMSlot "ATM插槽") domainEnglishFormat.kif 8930-8930
(termFormat ChineseLanguage AVCTP "AVCTP") ComputingBrands.kif 2172-2172
(termFormat ChineseLanguage AVCTP "影/音控制传输协议") ComputingBrands.kif 2177-2177
(termFormat ChineseLanguage AariyaLanguage "aariya语言") domainEnglishFormat.kif 5029-5029
(termFormat ChineseLanguage Abayah "阿巴亚") domainEnglishFormat.kif 5036-5036
(termFormat ChineseLanguage Abbey "僧院") domainEnglishFormat.kif 5042-5042
(termFormat ChineseLanguage Abbot "方丈") domainEnglishFormat.kif 5048-5048
(termFormat ChineseLanguage AbinomnLanguage "abinomn语言") domainEnglishFormat.kif 5060-5060
(termFormat ChineseLanguage AbishiraLanguage "abishira语言") domainEnglishFormat.kif 5066-5066
(termFormat ChineseLanguage AbnormalAnatomicalStructure "异常的解剖结构") domainEnglishFormat.kif 5072-5072

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