   Ziti
|
|
Sigma KEE - termFormat
|
appearance as argument number 1
|
|
|
| s__documentation(s__termFormat__m, s__ChineseLanguage, "这是一种关系，用于指定如何以自然语言格式来介绍一个术语。") |
chinese_format.kif 1400-1400 |
|
| s__documentation(s__termFormat__m, s__EnglishLanguage, "A relation that specifies how to present a term in a natural language format_") |
Merge.kif 383-384 |
|
| s__documentation(s__termFormat__m, s__JapaneseLanguage, "自然言語形式で用語を提示する方法を指定する関係。") |
japanese_format.kif 62-62 |
|
| s__documentation(s__termFormat__m, s__SpanishLanguage, "Una relación que especifica como presentar un término en un formato de lenguaje natural_") |
spanish_format.kif 70-71 |
|
| s__documentation(s__termFormat__m, s__SpanishLanguage, "Una relación que especifica como presentar una expresión en un formato de lenguaje natural_") |
spanish_format.kif 68-69 |
|
| s__domain(s__termFormat__m, 1, s__Language) |
Merge.kif 380-380 |
The number 1 argument of term format is an instance of language |
| s__domain(s__termFormat__m, 2, s__Entity) |
Merge.kif 381-381 |
The number 2 argument of term format is an instance of entity |
| s__domain(s__termFormat__m, 3, s__SymbolicString) |
Merge.kif 382-382 |
The number 3 argument of term format is an instance of symbolic string |
| s__instance(s__termFormat__m, s__TernaryPredicate) |
Merge.kif 379-379 |
term format is an instance of ternary predicate |
|
appearance as argument number 2
|
|
|
| s__format(s__ChineseLanguage, s__termFormat__m, "%3 是 %2 的 printable form 在 %1 ") |
domainEnglishFormat.kif 4774-4774 |
|
| s__format(s__ChineseTraditionalLanguage, s__termFormat__m, "%3 是 %2 的 printable form 在 %1 ") |
domainEnglishFormat.kif 4773-4773 |
|
| s__format(s__EnglishLanguage, s__termFormat__m, "%3 is the printable form of %2 in %1") |
domainEnglishFormat.kif 4772-4772 |
|
| s__termFormat(s__ChineseLanguage, s__termFormat__m, "术语格式") |
domainEnglishFormat.kif 57529-57529 |
|
| s__termFormat(s__ChineseTraditionalLanguage, s__termFormat__m, "術語格式") |
domainEnglishFormat.kif 57528-57528 |
|
| s__termFormat(s__EnglishLanguage, s__termFormat__m, "term format") |
domainEnglishFormat.kif 57527-57527 |
|
|
antecedent
|
|
|
| ! [V__STRING : $i,V__TERM : $i,V__LANGUAGE : $i] : ((s__termFormat(V__TERM, V__LANGUAGE, V__STRING) => s__names(V__STRING, V__TERM))) |
Media.kif 31-33 |
|
|
appearance as argument number 0
|
|
|
| s__termFormat(s__ChineseLanguage, 5GNetwork, "5G 网路") |
ComputingBrands.kif 1405-1405 |
|
| s__termFormat(s__ChineseLanguage, 5GNetwork, "5G") |
ComputingBrands.kif 1401-1401 |
|
| s__termFormat(s__ChineseLanguage, s__AAA_Rating, "AAA评级") |
domainEnglishFormat.kif 5023-5023 |
|
| s__termFormat(s__ChineseLanguage, s__AGM, "AG m") |
domainEnglishFormat.kif 5871-5871 |
|
| s__termFormat(s__ChineseLanguage, s__AGM114, "AG m114") |
domainEnglishFormat.kif 5877-5877 |
|
| s__termFormat(s__ChineseLanguage, s__AGM65, "AG m65") |
domainEnglishFormat.kif 5883-5883 |
|
| s__termFormat(s__ChineseLanguage, s__AH1, "A h1") |
domainEnglishFormat.kif 6039-6039 |
|
| s__termFormat(s__ChineseLanguage, s__AIM9, "AI m9") |
domainEnglishFormat.kif 6057-6057 |
|
| s__termFormat(s__ChineseLanguage, s__AMRadioStation, "AM广播电台") |
domainEnglishFormat.kif 7303-7303 |
|
| s__termFormat(s__ChineseLanguage, s__AMRadioSystem, "AM无线电系统") |
domainEnglishFormat.kif 7309-7309 |
|
| s__termFormat(s__ChineseLanguage, s__AONOrder, "AON 订单") |
domainEnglishFormat.kif 7938-7938 |
|
| s__termFormat(s__ChineseLanguage, s__APC, "APC") |
domainEnglishFormat.kif 7956-7956 |
|
| s__termFormat(s__ChineseLanguage, s__APucikwarLanguage, "一种 pucikwar 语言") |
domainEnglishFormat.kif 8058-8058 |
|
| s__termFormat(s__ChineseLanguage, s__ASEANRegionalForum, "东盟区域论坛") |
domainEnglishFormat.kif 8634-8634 |
|
| s__termFormat(s__ChineseLanguage, s__ATMMachine, "自动提款机") |
domainEnglishFormat.kif 8904-8904 |
|
| s__termFormat(s__ChineseLanguage, s__ATMSlot, "ATM插槽") |
domainEnglishFormat.kif 8922-8922 |
|
| s__termFormat(s__ChineseLanguage, s__AVCTP, "AVCTP") |
ComputingBrands.kif 2172-2172 |
|
| s__termFormat(s__ChineseLanguage, s__AVCTP, "影/音控制传输协议") |
ComputingBrands.kif 2177-2177 |
|
| s__termFormat(s__ChineseLanguage, s__AariyaLanguage, "aariya语言") |
domainEnglishFormat.kif 5030-5030 |
|
| s__termFormat(s__ChineseLanguage, s__Abayah, "阿巴亚") |
domainEnglishFormat.kif 5037-5037 |
|
| s__termFormat(s__ChineseLanguage, s__Abbey, "僧院") |
domainEnglishFormat.kif 5043-5043 |
|
| s__termFormat(s__ChineseLanguage, s__Abbot, "方丈") |
domainEnglishFormat.kif 5049-5049 |
|
| s__termFormat(s__ChineseLanguage, s__AbinomnLanguage, "abinomn语言") |
domainEnglishFormat.kif 5061-5061 |
|
| s__termFormat(s__ChineseLanguage, s__AbishiraLanguage, "abishira语言") |
domainEnglishFormat.kif 5067-5067 |
|
| s__termFormat(s__ChineseLanguage, s__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)
|