TreeView Knowledge Base Browser

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

appearance as argument number 2

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

antecedent

(=>
(termFormat ?TERM ?LANGUAGE ?STRING)
(names ?STRING ?TERM))

Media.kif 31-33

appearance as argument number 0

(termFormat ChineseLanguage 5GNetwork "5G 网路")	ComputingBrands.kif 1373-1373
(termFormat ChineseLanguage 5GNetwork "5G")	ComputingBrands.kif 1369-1369
(termFormat ChineseLanguage AAA-Rating "AAA评级")	domainEnglishFormat.kif 5023-5023
(termFormat ChineseLanguage AGM "AG m")	domainEnglishFormat.kif 5871-5871
(termFormat ChineseLanguage AGM114 "AG m114")	domainEnglishFormat.kif 5877-5877
(termFormat ChineseLanguage AGM65 "AG m65")	domainEnglishFormat.kif 5883-5883
(termFormat ChineseLanguage AH1 "A h1")	domainEnglishFormat.kif 6039-6039
(termFormat ChineseLanguage AIM9 "AI m9")	domainEnglishFormat.kif 6057-6057
(termFormat ChineseLanguage AMRadioStation "AM广播电台")	domainEnglishFormat.kif 7311-7311
(termFormat ChineseLanguage AMRadioSystem "AM无线电系统")	domainEnglishFormat.kif 7317-7317
(termFormat ChineseLanguage AONOrder "AON 订单")	domainEnglishFormat.kif 7947-7947
(termFormat ChineseLanguage APC "AP c")	domainEnglishFormat.kif 7965-7965
(termFormat ChineseLanguage APucikwarLanguage "一种 pucikwar 语言")	domainEnglishFormat.kif 8067-8067
(termFormat ChineseLanguage ASEANRegionalForum "东盟区域论坛")	domainEnglishFormat.kif 8643-8643
(termFormat ChineseLanguage ATMMachine "自动提款机")	domainEnglishFormat.kif 8913-8913
(termFormat ChineseLanguage ATMSlot "ATM插槽")	domainEnglishFormat.kif 8931-8931
(termFormat ChineseLanguage AVCTP "AVCTP")	ComputingBrands.kif 2140-2140
(termFormat ChineseLanguage AVCTP "影/音控制传输协议")	ComputingBrands.kif 2145-2145
(termFormat ChineseLanguage AariyaLanguage "aariya语言")	domainEnglishFormat.kif 5030-5030
(termFormat ChineseLanguage Abayah "阿巴亚")	domainEnglishFormat.kif 5037-5037
(termFormat ChineseLanguage Abbey "僧院")	domainEnglishFormat.kif 5043-5043
(termFormat ChineseLanguage Abbot "方丈")	domainEnglishFormat.kif 5049-5049
(termFormat ChineseLanguage AbinomnLanguage "abinomn语言")	domainEnglishFormat.kif 5061-5061
(termFormat ChineseLanguage AbishiraLanguage "abishira语言")	domainEnglishFormat.kif 5067-5067
(termFormat ChineseLanguage AbnormalAnatomicalStructure "异常的解剖结构")	domainEnglishFormat.kif 5073-5073

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)

KB Term:			Term intersection

English Word: