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

Formal Language: 



KB Term:  Term intersection
English Word: 

  conventionalShortName

 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
(domain conventionalShortName 2 Entity) Mid-level-ontology.kif 27260-27260
(instance conventionalShortName BinaryPredicate) Mid-level-ontology.kif 27252-27252
(subrelation conventionalShortName names) Mid-level-ontology.kif 27261-27261

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
(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
(conventionalShortName "Ag" Silver) Mid-level-ontology.kif 28097-28097
(conventionalShortName "Air Pollution" AirPollutionConvention) Geography.kif 3142-3142
(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 27526-27526
(conventionalShortName "Am" Americium) Mid-level-ontology.kif 28966-28966
(conventionalShortName "Antarctic Seals" AntarcticSealsConvention) Geography.kif 3188-3188
(conventionalShortName "Antarctic-Marine Living Resources" Antarctic-MarineLivingResourcesConvention) Geography.kif 3182-3182
(conventionalShortName "Ar" Argon) Mid-level-ontology.kif 27609-27609
(conventionalShortName "As" Arsenic) Mid-level-ontology.kif 27857-27857
(conventionalShortName "At" Astatine) Mid-level-ontology.kif 28793-28793
(conventionalShortName "Au" Gold) Mid-level-ontology.kif 28682-28682
(conventionalShortName "B" Boron) Mid-level-ontology.kif 27382-27382
(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 28254-28254
(conventionalShortName "Basel Convention" HazardousWastesConvention) Geography.kif 3249-3249
(conventionalShortName "Be" Beryllium) Mid-level-ontology.kif 27366-27366
(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 28758-28758
(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 29000-29000
(conventionalShortName "Border Patrol" USCustomsAndBorderProtection) Government.kif 4764-4764
(conventionalShortName "Br" Bromine) Mid-level-ontology.kif 27888-27888
(conventionalShortName "C" Carbon) Mid-level-ontology.kif 27401-27401
(conventionalShortName "Ca" Calcium) Mid-level-ontology.kif 27640-27640
(conventionalShortName "Cd" Cadmium) Mid-level-ontology.kif 28112-28112
(conventionalShortName "Ce" Cerium) Mid-level-ontology.kif 28290-28290
(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 29017-29017
(conventionalShortName "Cl" Chlorine) Mid-level-ontology.kif 27592-27592

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