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
-------------------------


(documentation termFormat ChineseLanguage "这是一种关系,用于指定如何以自然语言格式来介绍一个术语。") Merge.kif 575-575
(documentation termFormat EnglishLanguage "A relation that specifies how to present a term in a natural language format.") Merge.kif 572-573
(documentation termFormat JapaneseLanguage "自然言語形式で用語を提示する方法を指定する関係。") Merge.kif 577-577
(documentation termFormat SpanishLanguage "Una relación que especifica como presentar un término en un formato de lenguaje natural.") Merge.kif 579-580
(documentation termFormat SpanishLanguage "Una relación que especifica como presentar una expresión en un formato de lenguaje natural.") Merge.kif 565-566
(domain termFormat 1 Language) Merge.kif 569-569 The number 1 argument of term format is an instance of language
(domain termFormat 2 Entity) Merge.kif 570-570 The number 2 argument of term format is an instance of entity
(domain termFormat 3 SymbolicString) Merge.kif 571-571 The number 3 argument of term format is an instance of symbolic string
(instance termFormat TernaryPredicate) Merge.kif 568-568 term format is an instance of ternary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage termFormat "%3 是 %2 的 printable form 在 %1 ") domainEnglishFormat.kif 4775-4775
(format ChineseTraditionalLanguage termFormat "%3 是 %2 的 printable form 在 %1 ") domainEnglishFormat.kif 4774-4774
(format EnglishLanguage termFormat "%3 is the printable form of %2 in %1") domainEnglishFormat.kif 4773-4773
(termFormat ChineseLanguage termFormat "术语格式") domainEnglishFormat.kif 57463-57463 "术语格式" is the printable form of term format in ChineseLanguage
(termFormat ChineseTraditionalLanguage termFormat "術語格式") domainEnglishFormat.kif 57462-57462 "術語格式" is the printable form of term format in ChineseTraditionalLanguage
(termFormat EnglishLanguage termFormat "term format") domainEnglishFormat.kif 57461-57461 "term format" is the printable form of term format in english language

antecedent
-------------------------


(=>
    (termFormat ?TERM ?LANGUAGE ?STRING)
    (names ?STRING ?TERM))
Media.kif 31-33

appearance as argument number 0
-------------------------


(termFormat ChinchimneyeseTraditionalLanguage ChimakuanLanguage "chimakuan語言") domainEnglishFormat.kif 14454-14454 "chimakuan語言" is the printable form of chimakuan language in ChinchimneyeseTraditionalLanguage
(termFormat ChineseLanguage 2GNetwork "2G 网路") ComputingBrands.kif 1132-1132 "2G 网路" is the printable form of 2G network in ChineseLanguage
(termFormat ChineseLanguage 2GNetwork "2G") ComputingBrands.kif 1127-1127 "2G" is the printable form of 2G network in ChineseLanguage
(termFormat ChineseLanguage 3GNetwork "3G 网路") ComputingBrands.kif 1178-1178 "3G 网路" is the printable form of &"3G 网路"GNetwork$"3G network" in ChineseLanguage
(termFormat ChineseLanguage 3GNetwork "3G") ComputingBrands.kif 1173-1173 "3G" is the printable form of &"3G"GNetwork$"3G network" in ChineseLanguage
(termFormat ChineseLanguage 4GNetwork "4G 网路") ComputingBrands.kif 1224-1224 "4G 网路" is the printable form of &GNetwork$"4G network" in ChineseLanguage
(termFormat ChineseLanguage 4GNetwork "4G") ComputingBrands.kif 1220-1220 "4G" is the printable form of &GNetwork$"4G network" in ChineseLanguage
(termFormat ChineseLanguage 5GNetwork "5G 网路") ComputingBrands.kif 1297-1297 "5G 网路" is the printable form of 5G network in ChineseLanguage
(termFormat ChineseLanguage 5GNetwork "5G") ComputingBrands.kif 1292-1292 "5G" is the printable form of 5G network in ChineseLanguage
(termFormat ChineseLanguage AAA-Rating "AAA评级") domainEnglishFormat.kif 5019-5019 "AAA评级" is the printable form of AAA-rating in ChineseLanguage
(termFormat ChineseLanguage AGM "AG m") domainEnglishFormat.kif 5869-5869 "AG m" is the printable form of AG m in ChineseLanguage
(termFormat ChineseLanguage AGM114 "AG m114") domainEnglishFormat.kif 5875-5875 "AG m114" is the printable form of AG m114 in ChineseLanguage
(termFormat ChineseLanguage AGM65 "AG m65") domainEnglishFormat.kif 5881-5881 "AG m65" is the printable form of AG m65 in ChineseLanguage
(termFormat ChineseLanguage AH1 "A h1") domainEnglishFormat.kif 6037-6037 "A h1" is the printable form of A h1 in ChineseLanguage
(termFormat ChineseLanguage AIM9 "AI m9") domainEnglishFormat.kif 6055-6055 "AI m9" is the printable form of AI m9 in ChineseLanguage
(termFormat ChineseLanguage AMRadioStation "AM广播电台") domainEnglishFormat.kif 7309-7309 "AM广播电台" is the printable form of AM radio station in ChineseLanguage
(termFormat ChineseLanguage AMRadioSystem "AM无线电系统") domainEnglishFormat.kif 7315-7315 "AM无线电系统" is the printable form of AM radio system in ChineseLanguage
(termFormat ChineseLanguage AONOrder "AON 订单") domainEnglishFormat.kif 7945-7945 "AON 订单" is the printable form of AON order in ChineseLanguage
(termFormat ChineseLanguage APC "AP c") domainEnglishFormat.kif 7963-7963 "AP c" is the printable form of AP c in ChineseLanguage
(termFormat ChineseLanguage APucikwarLanguage "一种 pucikwar 语言") domainEnglishFormat.kif 8065-8065 "一种 pucikwar 语言" is the printable form of A pucikwar language in ChineseLanguage
(termFormat ChineseLanguage ASEANRegionalForum "东盟区域论坛") domainEnglishFormat.kif 8641-8641 "东盟区域论坛" is the printable form of ASEAN regional forum in ChineseLanguage
(termFormat ChineseLanguage ATMMachine "自动提款机") domainEnglishFormat.kif 8917-8917 "自动提款机" is the printable form of ATM machine in ChineseLanguage
(termFormat ChineseLanguage ATMSlot "ATM插槽") domainEnglishFormat.kif 8935-8935 "ATM插槽" is the printable form of ATM slot in ChineseLanguage
(termFormat ChineseLanguage AVCTP "AVCTP") ComputingBrands.kif 1993-1993 "AVCTP" is the printable form of Audio/Video Control Transport Protocol in ChineseLanguage
(termFormat ChineseLanguage AVCTP "影/音控制传输协议") ComputingBrands.kif 1998-1998 "影/音控制传输协议" is the printable form of Audio/Video Control Transport Protocol in ChineseLanguage

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners