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 390-391
(domain termFormat 1 Language)	Merge.kif 387-387	The number 1 argument of term format is an instance of language
(domain termFormat 2 Entity)	Merge.kif 388-388	The number 2 argument of term format is an instance of entity
(domain termFormat 3 SymbolicString)	Merge.kif 389-389	The number 3 argument of term format is an instance of symbolic string
(instance termFormat TernaryPredicate)	Merge.kif 386-386	term format is an instance of ternary predicate

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 57436-57436
(termFormat ChineseTraditionalLanguage termFormat "術語格式")	domainEnglishFormat.kif 57435-57435
(termFormat EnglishLanguage termFormat "term format")	domainEnglishFormat.kif 57434-57434

antecedent

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

Media.kif 31-33

If a symbolic string is the printable form of an entity in a language,
then the language has name the symbolic string

appearance as argument number 0

(termFormat ChineseLanguage 2GNetwork "2G 网路")	ComputingBrands.kif 1216-1216
(termFormat ChineseLanguage 2GNetwork "2G")	ComputingBrands.kif 1211-1211
(termFormat ChineseLanguage 3GNetwork "3G 网路")	ComputingBrands.kif 1262-1262
(termFormat ChineseLanguage 3GNetwork "3G")	ComputingBrands.kif 1257-1257
(termFormat ChineseLanguage 4GNetwork "4G 网路")	ComputingBrands.kif 1308-1308
(termFormat ChineseLanguage 4GNetwork "4G")	ComputingBrands.kif 1304-1304
(termFormat ChineseLanguage 5GNetwork "5G 网路")	ComputingBrands.kif 1381-1381
(termFormat ChineseLanguage 5GNetwork "5G")	ComputingBrands.kif 1376-1376
(termFormat ChineseLanguage AAA-Rating "AAA评级")	domainEnglishFormat.kif 5023-5023
(termFormat ChineseLanguage AGM "AG m")	domainEnglishFormat.kif 5873-5873
(termFormat ChineseLanguage AGM114 "AG m114")	domainEnglishFormat.kif 5879-5879
(termFormat ChineseLanguage AGM65 "AG m65")	domainEnglishFormat.kif 5885-5885
(termFormat ChineseLanguage AH1 "A h1")	domainEnglishFormat.kif 6041-6041
(termFormat ChineseLanguage AIM9 "AI m9")	domainEnglishFormat.kif 6059-6059
(termFormat ChineseLanguage AMRadioStation "AM广播电台")	domainEnglishFormat.kif 7313-7313
(termFormat ChineseLanguage AMRadioSystem "AM无线电系统")	domainEnglishFormat.kif 7319-7319
(termFormat ChineseLanguage AONOrder "AON 订单")	domainEnglishFormat.kif 7949-7949
(termFormat ChineseLanguage APC "AP c")	domainEnglishFormat.kif 7967-7967
(termFormat ChineseLanguage APucikwarLanguage "一种 pucikwar 语言")	domainEnglishFormat.kif 8069-8069
(termFormat ChineseLanguage ASEANRegionalForum "东盟区域论坛")	domainEnglishFormat.kif 8645-8645
(termFormat ChineseLanguage ATMMachine "自动提款机")	domainEnglishFormat.kif 8921-8921
(termFormat ChineseLanguage ATMSlot "ATM插槽")	domainEnglishFormat.kif 8939-8939
(termFormat ChineseLanguage AVCTP "AVCTP")	ComputingBrands.kif 2150-2150
(termFormat ChineseLanguage AVCTP "影/音控制传输协议")	ComputingBrands.kif 2155-2155
(termFormat ChineseLanguage AariyaLanguage "aariya语言")	domainEnglishFormat.kif 5030-5030

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: