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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ValidDeductiveArgument

 Sigma KEE - conventionalShortName
conventionalShortName

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


(documentation conventionalShortName EnglishLanguage "(conventionalShortName ?NAME ?THING) means that the string ?NAME is the short form of the name conventionally used for ?THING. For a more specialized subset of short names, see abbreviation.") Mid-level-ontology.kif 27254-27257
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 27259-27259 传统的短名称 的 1 数量 是 符号串 的 instance
(domain conventionalShortName 2 Entity) Mid-level-ontology.kif 27260-27260 传统的短名称 的 2 数量 是 实体 的 instance
(instance conventionalShortName BinaryPredicate) Mid-level-ontology.kif 27252-27252 传统的短名称 是 二元谓语 的 instance
(subrelation conventionalShortName names) Mid-level-ontology.kif 27261-27261 传统的短名称 是 命名 的 subrelation

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


(format ChineseLanguage conventionalShortName "%2 %n 是 %1 的 conventional 简称") domainEnglishFormat.kif 548-548
(format ChineseTraditionalLanguage conventionalShortName "%2 %n 是 %1 的 conventional 簡稱") domainEnglishFormat.kif 547-547
(format EnglishLanguage conventionalShortName "%2 is %n a conventional short name of %1") domainEnglishFormat.kif 546-546
(subrelation abbreviation conventionalShortName) Mid-level-ontology.kif 27266-27266 缩写 是 传统的短名称 的 subrelation
(termFormat ChineseLanguage conventionalShortName "传统的短名称") domainEnglishFormat.kif 17106-17106
(termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱") domainEnglishFormat.kif 17105-17105
(termFormat EnglishLanguage conventionalShortName "acronym") Mid-level-ontology.kif 27290-27290
(termFormat EnglishLanguage conventionalShortName "conventional short name") domainEnglishFormat.kif 17104-17104

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


(conventionalShortName "Ac" Actinium) Mid-level-ontology.kif 28860-28860 锕 是 "Ac" 的 conventional 简称
(conventionalShortName "Ag" Silver) Mid-level-ontology.kif 28097-28097 银 是 "Ag" 的 conventional 简称
(conventionalShortName "Air Pollution" AirPollutionConvention) Geography.kif 3142-3142 空气污染公约 是 "Air Pollution" 的 conventional 简称
(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 27526-27526 铝 是 "Al" 的 conventional 简称
(conventionalShortName "Am" Americium) Mid-level-ontology.kif 28966-28966 銤 是 "Am" 的 conventional 简称
(conventionalShortName "Antarctic Seals" AntarcticSealsConvention) Geography.kif 3188-3188 南极海豹公约 是 "Antarctic Seals" 的 conventional 简称
(conventionalShortName "Antarctic-Marine Living Resources" Antarctic-MarineLivingResourcesConvention) Geography.kif 3182-3182 南极洲 - 海洋生物资源公约 是 "Antarctic-Marine Living Resources" 的 conventional 简称
(conventionalShortName "Ar" Argon) Mid-level-ontology.kif 27609-27609 氩 是 "Ar" 的 conventional 简称
(conventionalShortName "As" Arsenic) Mid-level-ontology.kif 27857-27857 砷 是 "As" 的 conventional 简称
(conventionalShortName "At" Astatine) Mid-level-ontology.kif 28793-28793 砹 是 "At" 的 conventional 简称
(conventionalShortName "Au" Gold) Mid-level-ontology.kif 28682-28682 金 是 "Au" 的 conventional 简称
(conventionalShortName "B" Boron) Mid-level-ontology.kif 27382-27382 硼 是 "B" 的 conventional 简称
(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 28254-28254 钡 是 "Ba" 的 conventional 简称
(conventionalShortName "Basel Convention" HazardousWastesConvention) Geography.kif 3249-3249 危险废物公约 是 "Basel Convention" 的 conventional 简称
(conventionalShortName "Be" Beryllium) Mid-level-ontology.kif 27366-27366 铍 是 "Be" 的 conventional 简称
(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 28758-28758 铋 是 "Bi" 的 conventional 简称
(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 29000-29000 锫 是 "Bk" 的 conventional 简称
(conventionalShortName "Border Patrol" USCustomsAndBorderProtection) Government.kif 4764-4764 美国海关和边境保护局 是 "Border Patrol" 的 conventional 简称
(conventionalShortName "Br" Bromine) Mid-level-ontology.kif 27888-27888 溴 是 "Br" 的 conventional 简称
(conventionalShortName "C" Carbon) Mid-level-ontology.kif 27401-27401 碳 是 "C" 的 conventional 简称
(conventionalShortName "Ca" Calcium) Mid-level-ontology.kif 27640-27640 钙 是 "Ca" 的 conventional 简称
(conventionalShortName "Cd" Cadmium) Mid-level-ontology.kif 28112-28112 镉 是 "Cd" 的 conventional 简称
(conventionalShortName "Ce" Cerium) Mid-level-ontology.kif 28290-28290 铈 是 "Ce" 的 conventional 简称
(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 29017-29017 锎 是 "Cf" 的 conventional 简称
(conventionalShortName "Cl" Chlorine) Mid-level-ontology.kif 27592-27592 氯 是 "Cl" 的 conventional 简称

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