| 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 390-391 | |
| (domain termFormat 1 Language) | Merge.kif 387-387 | 术语格式 的 1 数量 是 语言 的 instance |
| (domain termFormat 2 Entity) | Merge.kif 388-388 | 术语格式 的 2 数量 是 实体 的 instance |
| (domain termFormat 3 SymbolicString) | Merge.kif 389-389 | 术语格式 的 3 数量 是 符号串 的 instance |
| (instance termFormat TernaryPredicate) | Merge.kif 386-386 | 术语格式 是 三元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage termFormat "%3 是 %2 的 printable form 在 %1 ") | domainEnglishFormat.kif 4774-4774 | |
| (format ChineseTraditionalLanguage termFormat "%3 是 %2 的 printable form 在 %1 ") | domainEnglishFormat.kif 4773-4773 | |
| (format EnglishLanguage termFormat "%3 is the printable form of %2 in %1") | domainEnglishFormat.kif 4772-4772 | |
| (termFormat ChineseLanguage termFormat "术语格式") | domainEnglishFormat.kif 57494-57494 | |
| (termFormat ChineseTraditionalLanguage termFormat "術語格式") | domainEnglishFormat.kif 57493-57493 | |
| (termFormat EnglishLanguage termFormat "term format") | domainEnglishFormat.kif 57492-57492 |
| 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 5018-5018 | |
| (termFormat ChineseLanguage AGM "AGM") | domainEnglishFormat.kif 5866-5866 | |
| (termFormat ChineseLanguage AGM114 "AG m114") | domainEnglishFormat.kif 5872-5872 | |
| (termFormat ChineseLanguage AGM65 "AG m65") | domainEnglishFormat.kif 5878-5878 | |
| (termFormat ChineseLanguage AH1 "A h1") | domainEnglishFormat.kif 6034-6034 | |
| (termFormat ChineseLanguage AIM9 "AI m9") | domainEnglishFormat.kif 6052-6052 | |
| (termFormat ChineseLanguage AMRadioStation "AM广播电台") | domainEnglishFormat.kif 7306-7306 | |
| (termFormat ChineseLanguage AMRadioSystem "AM无线电系统") | domainEnglishFormat.kif 7312-7312 | |
| (termFormat ChineseLanguage AONOrder "AON 订单") | domainEnglishFormat.kif 7942-7942 | |
| (termFormat ChineseLanguage APC "APC") | domainEnglishFormat.kif 7960-7960 | |
| (termFormat ChineseLanguage APucikwarLanguage "一种 pucikwar 语言") | domainEnglishFormat.kif 8062-8062 | |
| (termFormat ChineseLanguage ASEANRegionalForum "东盟区域论坛") | domainEnglishFormat.kif 8638-8638 | |
| (termFormat ChineseLanguage ATMMachine "自动提款机") | domainEnglishFormat.kif 8908-8908 | |
| (termFormat ChineseLanguage ATMSlot "ATM插槽") | domainEnglishFormat.kif 8926-8926 | |
| (termFormat ChineseLanguage AVCTP "AVCTP") | ComputingBrands.kif 2172-2172 | |
| (termFormat ChineseLanguage AVCTP "影/音控制传输协议") | ComputingBrands.kif 2177-2177 | |
| (termFormat ChineseLanguage AariyaLanguage "aariya语言") | domainEnglishFormat.kif 5025-5025 | |
| (termFormat ChineseLanguage Abayah "阿巴亚") | domainEnglishFormat.kif 5032-5032 | |
| (termFormat ChineseLanguage Abbey "僧院") | domainEnglishFormat.kif 5038-5038 | |
| (termFormat ChineseLanguage Abbot "方丈") | domainEnglishFormat.kif 5044-5044 | |
| (termFormat ChineseLanguage AbinomnLanguage "abinomn语言") | domainEnglishFormat.kif 5056-5056 | |
| (termFormat ChineseLanguage AbishiraLanguage "abishira语言") | domainEnglishFormat.kif 5062-5062 | |
| (termFormat ChineseLanguage AbnormalAnatomicalStructure "异常的解剖结构") | domainEnglishFormat.kif 5068-5068 | |
| 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