| 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 389-390 | |
| s__domain(s__termFormat__m,n__1,s__Language)
|
Merge.kif 386-386 | The number 1 argument of term format is an instance of language |
| s__domain(s__termFormat__m,n__2,s__Entity)
|
Merge.kif 387-387 | The number 2 argument of term format is an instance of entity |
| s__domain(s__termFormat__m,n__3,s__SymbolicString)
|
Merge.kif 388-388 | The number 3 argument of term format is an instance of symbolic string |
| s__instance(s__TernaryPredicate,s__Class) s__instance(s__termFormat__m,s__TernaryPredicate)
|
Merge.kif 385-385 | 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 4779-4779 | |
| s__format(s__ChineseTraditionalLanguage,s__termFormat__m,'"%3 是 %2 的 printable form 在 %1 "')
|
domainEnglishFormat.kif 4778-4778 | |
| s__format(s__EnglishLanguage,s__termFormat__m,'"%3 is the printable form of %2 in %1"')
|
domainEnglishFormat.kif 4777-4777 | |
| s__termFormat(s__ChineseLanguage,s__termFormat__m,'"术语格式"')
|
domainEnglishFormat.kif 57491-57491 | |
| s__termFormat(s__ChineseTraditionalLanguage,s__termFormat__m,'"術語格式"')
|
domainEnglishFormat.kif 57490-57490 | |
| s__termFormat(s__EnglishLanguage,s__termFormat__m,'"term format"')
|
domainEnglishFormat.kif 57489-57489 |
| antecedent |
|
|
| ( ! [V__STRING,V__TERM,V__LANGUAGE] : (((s__instance(V__STRING,s__SymbolicString) & s__instance(V__TERM,s__Language)) => ((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 1374-1374 | |
| s__termFormat(s__ChineseLanguage,5GNetwork,'"5G"')
|
ComputingBrands.kif 1370-1370 | |
| 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 7311-7311 | |
| s__termFormat(s__ChineseLanguage,s__AMRadioSystem,'"AM无线电系统"')
|
domainEnglishFormat.kif 7317-7317 | |
| s__termFormat(s__ChineseLanguage,s__AONOrder,'"AON 订单"')
|
domainEnglishFormat.kif 7947-7947 | |
| s__termFormat(s__ChineseLanguage,s__APC,'"AP c"')
|
domainEnglishFormat.kif 7965-7965 | |
| s__termFormat(s__ChineseLanguage,s__APucikwarLanguage,'"一种 pucikwar 语言"')
|
domainEnglishFormat.kif 8067-8067 | |
| s__termFormat(s__ChineseLanguage,s__ASEANRegionalForum,'"东盟区域论坛"')
|
domainEnglishFormat.kif 8643-8643 | |
| s__termFormat(s__ChineseLanguage,s__ATMMachine,'"自动提款机"')
|
domainEnglishFormat.kif 8913-8913 | |
| s__termFormat(s__ChineseLanguage,s__ATMSlot,'"ATM插槽"')
|
domainEnglishFormat.kif 8931-8931 | |
| s__termFormat(s__ChineseLanguage,s__AVCTP,'"AVCTP"')
|
ComputingBrands.kif 2139-2139 | |
| s__termFormat(s__ChineseLanguage,s__AVCTP,'"影/音控制传输协议"')
|
ComputingBrands.kif 2144-2144 | |
| 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 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 3.0 is open source software produced by Articulate Software and its partners