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

Formal Language: 



KB Term:  Term intersection
English Word: 

  termFormat

 Sigma KEE - termFormat
termFormat

appearance as argument number 1
-------------------------


(documentation termFormat ChineseLanguage "这是一种关系，用于指定如何以自然语言格式来介绍一个术语。") chinese_format.kif 1400-1400
(documentation termFormat EnglishLanguage "A relation that specifies how to present a term in a natural language format.") Merge.kif 389-390
(documentation termFormat JapaneseLanguage "自然言語形式で用語を提示する方法を指定する関係。") japanese_format.kif 62-62
(documentation termFormat SpanishLanguage "Una relación que especifica como presentar un término en un formato de lenguaje natural.") spanish_format.kif 70-71
(documentation termFormat SpanishLanguage "Una relación que especifica como presentar una expresión en un formato de lenguaje natural.") spanish_format.kif 68-69
(domain termFormat 1 Language) Merge.kif 386-386 Die Zahl 1 Argument von termFormat ist ein fall von Language %n{nicht}
(domain termFormat 2 Entity) Merge.kif 387-387 Die Zahl 2 Argument von termFormat ist ein fall von Entity %n{nicht}
(domain termFormat 3 SymbolicString) Merge.kif 388-388 Die Zahl 3 Argument von termFormat ist ein fall von SymbolicString %n{nicht}
(instance termFormat TernaryPredicate) Merge.kif 385-385 termFormat ist ein fall von TernaryPredicate %n{nicht}

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


(format ChineseLanguage termFormat "%3 是 %2 的 printable form 在 %1 ") domainEnglishFormat.kif 4770-4770
(format ChineseTraditionalLanguage termFormat "%3 是 %2 的 printable form 在 %1 ") domainEnglishFormat.kif 4769-4769
(format EnglishLanguage termFormat "%3 is the printable form of %2 in %1") domainEnglishFormat.kif 4768-4768
(termFormat ChineseLanguage termFormat "术语格式") domainEnglishFormat.kif 57561-57561
(termFormat ChineseTraditionalLanguage termFormat "術語格式") domainEnglishFormat.kif 57560-57560
(termFormat EnglishLanguage termFormat "term format") domainEnglishFormat.kif 57559-57559

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


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

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


(termFormat ChineseLanguage 5GNetwork "5G 网路") ComputingBrands.kif 1405-1405
(termFormat ChineseLanguage 5GNetwork "5G") ComputingBrands.kif 1401-1401
(termFormat ChineseLanguage AAA-Rating "AAA评级") domainEnglishFormat.kif 5019-5019
(termFormat ChineseLanguage AGM "AG m") domainEnglishFormat.kif 5867-5867
(termFormat ChineseLanguage AGM114 "AG m114") domainEnglishFormat.kif 5873-5873
(termFormat ChineseLanguage AGM65 "AG m65") domainEnglishFormat.kif 5879-5879
(termFormat ChineseLanguage AH1 "A h1") domainEnglishFormat.kif 6035-6035
(termFormat ChineseLanguage AIM9 "AI m9") domainEnglishFormat.kif 6053-6053
(termFormat ChineseLanguage AMRadioStation "AM广播电台") domainEnglishFormat.kif 7305-7305
(termFormat ChineseLanguage AMRadioSystem "AM无线电系统") domainEnglishFormat.kif 7311-7311
(termFormat ChineseLanguage AONOrder "AON 订单") domainEnglishFormat.kif 7941-7941
(termFormat ChineseLanguage APC "APC") domainEnglishFormat.kif 7959-7959
(termFormat ChineseLanguage APucikwarLanguage "一种 pucikwar 语言") domainEnglishFormat.kif 8061-8061
(termFormat ChineseLanguage ASEANRegionalForum "东盟区域论坛") domainEnglishFormat.kif 8637-8637
(termFormat ChineseLanguage ATMMachine "自动提款机") domainEnglishFormat.kif 8907-8907
(termFormat ChineseLanguage ATMSlot "ATM插槽") domainEnglishFormat.kif 8925-8925
(termFormat ChineseLanguage AVCTP "AVCTP") ComputingBrands.kif 2172-2172
(termFormat ChineseLanguage AVCTP "影/音控制传输协议") ComputingBrands.kif 2177-2177
(termFormat ChineseLanguage AariyaLanguage "aariya语言") domainEnglishFormat.kif 5026-5026
(termFormat ChineseLanguage Abayah "阿巴亚") domainEnglishFormat.kif 5033-5033
(termFormat ChineseLanguage Abbey "僧院") domainEnglishFormat.kif 5039-5039
(termFormat ChineseLanguage Abbot "方丈") domainEnglishFormat.kif 5045-5045
(termFormat ChineseLanguage AbinomnLanguage "abinomn语言") domainEnglishFormat.kif 5057-5057
(termFormat ChineseLanguage AbishiraLanguage "abishira语言") domainEnglishFormat.kif 5063-5063
(termFormat ChineseLanguage AbnormalAnatomicalStructure "异常的解剖结构") domainEnglishFormat.kif 5069-5069

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)

Show without tree


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