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 390-391 | |
(documentation termFormat JapaneseLanguage "自然言語形式で用語を提示する方法を指定する関係。") | japanese_format.kif 62-62 | |
(documentation termFormat SpanishLanguage "Una relación que especifica como presentar un término en un formato de lenguaje natural.") | spanish_format.kif 70-71 | |
(documentation termFormat SpanishLanguage "Una relación que especifica como presentar una expresión en un formato de lenguaje natural.") | spanish_format.kif 68-69 | |
(domain termFormat 1 Language) | Merge.kif 387-387 | 术语格式 的 1 数量 是 语言 的 instance |
(domain termFormat 2 Entity) | Merge.kif 388-388 | 术语格式 的 2 数量 是 实体 的 instance |
(domain termFormat 3 SymbolicString) | Merge.kif 389-389 | 术语格式 的 3 数量 是 符号串 的 instance |
(instance termFormat TernaryPredicate) | Merge.kif 386-386 | 术语格式 是 三元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage termFormat "%3 是 %2 的 printable form 在 %1 ") | domainEnglishFormat.kif 4770-4770 | |
(format ChineseTraditionalLanguage termFormat "%3 是 %2 的 printable form 在 %1 ") | domainEnglishFormat.kif 4769-4769 | |
(format EnglishLanguage termFormat "%3 is the printable form of %2 in %1") | domainEnglishFormat.kif 4768-4768 | |
(termFormat ChineseLanguage termFormat "术语格式") | domainEnglishFormat.kif 57526-57526 | |
(termFormat ChineseTraditionalLanguage termFormat "術語格式") | domainEnglishFormat.kif 57525-57525 | |
(termFormat EnglishLanguage termFormat "term format") | domainEnglishFormat.kif 57524-57524 |
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 5014-5014 | |
(termFormat ChineseLanguage AGM "AG m") | domainEnglishFormat.kif 5862-5862 | |
(termFormat ChineseLanguage AGM114 "AG m114") | domainEnglishFormat.kif 5868-5868 | |
(termFormat ChineseLanguage AGM65 "AG m65") | domainEnglishFormat.kif 5874-5874 | |
(termFormat ChineseLanguage AH1 "A h1") | domainEnglishFormat.kif 6030-6030 | |
(termFormat ChineseLanguage AIM9 "AI m9") | domainEnglishFormat.kif 6048-6048 | |
(termFormat ChineseLanguage AMRadioStation "AM广播电台") | domainEnglishFormat.kif 7302-7302 | |
(termFormat ChineseLanguage AMRadioSystem "AM无线电系统") | domainEnglishFormat.kif 7308-7308 | |
(termFormat ChineseLanguage AONOrder "AON 订单") | domainEnglishFormat.kif 7938-7938 | |
(termFormat ChineseLanguage APC "APC") | domainEnglishFormat.kif 7956-7956 | |
(termFormat ChineseLanguage APucikwarLanguage "一种 pucikwar 语言") | domainEnglishFormat.kif 8058-8058 | |
(termFormat ChineseLanguage ASEANRegionalForum "东盟区域论坛") | domainEnglishFormat.kif 8634-8634 | |
(termFormat ChineseLanguage ATMMachine "自动提款机") | domainEnglishFormat.kif 8904-8904 | |
(termFormat ChineseLanguage ATMSlot "ATM插槽") | domainEnglishFormat.kif 8922-8922 | |
(termFormat ChineseLanguage AVCTP "AVCTP") | ComputingBrands.kif 2172-2172 | |
(termFormat ChineseLanguage AVCTP "影/音控制传输协议") | ComputingBrands.kif 2177-2177 | |
(termFormat ChineseLanguage AariyaLanguage "aariya语言") | domainEnglishFormat.kif 5021-5021 | |
(termFormat ChineseLanguage Abayah "阿巴亚") | domainEnglishFormat.kif 5028-5028 | |
(termFormat ChineseLanguage Abbey "僧院") | domainEnglishFormat.kif 5034-5034 | |
(termFormat ChineseLanguage Abbot "方丈") | domainEnglishFormat.kif 5040-5040 | |
(termFormat ChineseLanguage AbinomnLanguage "abinomn语言") | domainEnglishFormat.kif 5052-5052 | |
(termFormat ChineseLanguage AbishiraLanguage "abishira语言") | domainEnglishFormat.kif 5058-5058 | |
(termFormat ChineseLanguage AbnormalAnatomicalStructure "异常的解剖结构") | domainEnglishFormat.kif 5064-5064 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |