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 termFormat の数値 1 引数は 言語instance では %n
(domain termFormat 2 Entity) Merge.kif 570-570 termFormat の数値 2 引数は エンティティーinstance では %n
(domain termFormat 3 SymbolicString) Merge.kif 571-571 termFormat の数値 3 引数は 記号文字列instance では %n
(instance termFormat TernaryPredicate) Merge.kif 568-568 termFormat3進述語instance では %n

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 termFormat ChineseLanguage, termFormat and "术语格式"
(termFormat ChineseTraditionalLanguage termFormat "術語格式") domainEnglishFormat.kif 57462-57462 termFormat ChineseTraditionalLanguage, termFormat and "術語格式"
(termFormat EnglishLanguage termFormat "term format") domainEnglishFormat.kif 57461-57461 termFormat EnglishLanguage, termFormat and "term format"

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 termFormat ChinchimneyeseTraditionalLanguage, ChimakuanLanguage and "chimakuan語言"
(termFormat ChineseLanguage 2GNetwork "2G 网路") ComputingBrands.kif 1132-1132 termFormat ChineseLanguage, 2G ネットワーク and "2G 网路"
(termFormat ChineseLanguage 2GNetwork "2G") ComputingBrands.kif 1127-1127 termFormat ChineseLanguage, 2G ネットワーク and "2G"
(termFormat ChineseLanguage 3GNetwork "3G 网路") ComputingBrands.kif 1178-1178 termFormat ChineseLanguage, 3G and "3G 网路"
(termFormat ChineseLanguage 3GNetwork "3G") ComputingBrands.kif 1173-1173 termFormat ChineseLanguage, 3G and "3G"
(termFormat ChineseLanguage 4GNetwork "4G 网路") ComputingBrands.kif 1224-1224 termFormat ChineseLanguage, 4G ネットワーク and "4G 网路"
(termFormat ChineseLanguage 4GNetwork "4G") ComputingBrands.kif 1220-1220 termFormat ChineseLanguage, 4G ネットワーク and "4G"
(termFormat ChineseLanguage 5GNetwork "5G 网路") ComputingBrands.kif 1297-1297 termFormat ChineseLanguage, 5G ネットワーク and "5G 网路"
(termFormat ChineseLanguage 5GNetwork "5G") ComputingBrands.kif 1292-1292 termFormat ChineseLanguage, 5G ネットワーク and "5G"
(termFormat ChineseLanguage AAA-Rating "AAA评级") domainEnglishFormat.kif 5019-5019 termFormat ChineseLanguage, AAA-Rating and "AAA评级"
(termFormat ChineseLanguage AGM "AG m") domainEnglishFormat.kif 5869-5869 termFormat ChineseLanguage, AGM and "AG m"
(termFormat ChineseLanguage AGM114 "AG m114") domainEnglishFormat.kif 5875-5875 termFormat ChineseLanguage, AGM114 and "AG m114"
(termFormat ChineseLanguage AGM65 "AG m65") domainEnglishFormat.kif 5881-5881 termFormat ChineseLanguage, AGM65 and "AG m65"
(termFormat ChineseLanguage AH1 "A h1") domainEnglishFormat.kif 6037-6037 termFormat ChineseLanguage, AH1 and "A h1"
(termFormat ChineseLanguage AIM9 "AI m9") domainEnglishFormat.kif 6055-6055 termFormat ChineseLanguage, AIM9 and "AI m9"
(termFormat ChineseLanguage AMRadioStation "AM广播电台") domainEnglishFormat.kif 7309-7309 termFormat ChineseLanguage, AMRadioStation and "AM广播电台"
(termFormat ChineseLanguage AMRadioSystem "AM无线电系统") domainEnglishFormat.kif 7315-7315 termFormat ChineseLanguage, AMRadioSystem and "AM无线电系统"
(termFormat ChineseLanguage AONOrder "AON 订单") domainEnglishFormat.kif 7945-7945 termFormat ChineseLanguage, AONOrder and "AON 订单"
(termFormat ChineseLanguage APC "AP c") domainEnglishFormat.kif 7963-7963 termFormat ChineseLanguage, APC and "AP c"
(termFormat ChineseLanguage APucikwarLanguage "一种 pucikwar 语言") domainEnglishFormat.kif 8065-8065 termFormat ChineseLanguage, APucikwarLanguage and "一种 pucikwar 语言"
(termFormat ChineseLanguage ASEANRegionalForum "东盟区域论坛") domainEnglishFormat.kif 8641-8641 termFormat ChineseLanguage, ASEANRegionalForum and "东盟区域论坛"
(termFormat ChineseLanguage ATMMachine "自动提款机") domainEnglishFormat.kif 8917-8917 termFormat ChineseLanguage, ATMMachine and "自动提款机"
(termFormat ChineseLanguage ATMSlot "ATM插槽") domainEnglishFormat.kif 8935-8935 termFormat ChineseLanguage, ATMSlot and "ATM插槽"
(termFormat ChineseLanguage AVCTP "AVCTP") ComputingBrands.kif 1993-1993 termFormat ChineseLanguage, オーディオ/ビデオ制御トランスポートプロトコル and "AVCTP"
(termFormat ChineseLanguage AVCTP "影/音控制传输协议") ComputingBrands.kif 1998-1998 termFormat ChineseLanguage, オーディオ/ビデオ制御トランスポートプロトコル and "影/音控制传输协议"

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