Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - termFormat
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 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