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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 389-390
(domain termFormat 1 Language) Merge.kif 386-386
(domain termFormat 2 Entity) Merge.kif 387-387
(domain termFormat 3 SymbolicString) Merge.kif 388-388
(instance termFormat TernaryPredicate) Merge.kif 385-385

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


(format ChineseLanguage termFormat "%3 是 %2 的 printable form 在 %1 ") domainEnglishFormat.kif 4775-4775
(format ChineseTraditionalLanguage termFormat "%3 是 %2 的 printable form 在 %1 ") domainEnglishFormat.kif 4774-4774
(format EnglishLanguage termFormat "%3 is the printable form of %2 in %1") domainEnglishFormat.kif 4773-4773
(termFormat ChineseLanguage termFormat "术语格式") domainEnglishFormat.kif 57463-57463
(termFormat ChineseTraditionalLanguage termFormat "術語格式") domainEnglishFormat.kif 57462-57462
(termFormat EnglishLanguage termFormat "term format") domainEnglishFormat.kif 57461-57461

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


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

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


(termFormat ChineseLanguage 2GNetwork "2G 网路") ComputingBrands.kif 1218-1218
(termFormat ChineseLanguage 2GNetwork "2G") ComputingBrands.kif 1213-1213
(termFormat ChineseLanguage 3GNetwork "3G 网路") ComputingBrands.kif 1264-1264
(termFormat ChineseLanguage 3GNetwork "3G") ComputingBrands.kif 1259-1259
(termFormat ChineseLanguage 4GNetwork "4G 网路") ComputingBrands.kif 1310-1310
(termFormat ChineseLanguage 4GNetwork "4G") ComputingBrands.kif 1306-1306
(termFormat ChineseLanguage 5GNetwork "5G 网路") ComputingBrands.kif 1383-1383
(termFormat ChineseLanguage 5GNetwork "5G") ComputingBrands.kif 1378-1378
(termFormat ChineseLanguage AAA-Rating "AAA评级") domainEnglishFormat.kif 5019-5019
(termFormat ChineseLanguage AGM "AG m") domainEnglishFormat.kif 5869-5869
(termFormat ChineseLanguage AGM114 "AG m114") domainEnglishFormat.kif 5875-5875
(termFormat ChineseLanguage AGM65 "AG m65") domainEnglishFormat.kif 5881-5881
(termFormat ChineseLanguage AH1 "A h1") domainEnglishFormat.kif 6037-6037
(termFormat ChineseLanguage AIM9 "AI m9") domainEnglishFormat.kif 6055-6055
(termFormat ChineseLanguage AMRadioStation "AM广播电台") domainEnglishFormat.kif 7309-7309
(termFormat ChineseLanguage AMRadioSystem "AM无线电系统") domainEnglishFormat.kif 7315-7315
(termFormat ChineseLanguage AONOrder "AON 订单") domainEnglishFormat.kif 7945-7945
(termFormat ChineseLanguage APC "AP c") domainEnglishFormat.kif 7963-7963
(termFormat ChineseLanguage APucikwarLanguage "一种 pucikwar 语言") domainEnglishFormat.kif 8065-8065
(termFormat ChineseLanguage ASEANRegionalForum "东盟区域论坛") domainEnglishFormat.kif 8641-8641
(termFormat ChineseLanguage ATMMachine "自动提款机") domainEnglishFormat.kif 8917-8917
(termFormat ChineseLanguage ATMSlot "ATM插槽") domainEnglishFormat.kif 8935-8935
(termFormat ChineseLanguage AVCTP "AVCTP") ComputingBrands.kif 2152-2152
(termFormat ChineseLanguage AVCTP "影/音控制传输协议") ComputingBrands.kif 2157-2157
(termFormat ChineseLanguage AariyaLanguage "aariya语言") domainEnglishFormat.kif 5026-5026

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