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 27326-27329
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 27331-27331 Le nombre 1 argument de conventionalShortName est une instance de cha�ne sympbolique
(domain conventionalShortName 2 Entity) Mid-level-ontology.kif 27332-27332 Le nombre 2 argument de conventionalShortName est une instance de entit�
(instance conventionalShortName BinaryPredicate) Mid-level-ontology.kif 27324-27324 conventionalShortName est une instance de pr�dicat binaire
(subrelation conventionalShortName names) Mid-level-ontology.kif 27333-27333 conventionalShortName est une sous-relation de names

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 27338-27338 abbreviation est une sous-relation de conventionalShortName
(termFormat ChineseLanguage conventionalShortName "传统的短名称") domainEnglishFormat.kif 17103-17103
(termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱") domainEnglishFormat.kif 17102-17102
(termFormat EnglishLanguage conventionalShortName "acronym") Mid-level-ontology.kif 27344-27344
(termFormat EnglishLanguage conventionalShortName "conventional short name") domainEnglishFormat.kif 17101-17101

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


(conventionalShortName "Ac" Actinium) Mid-level-ontology.kif 28914-28914 conventionalShortName "Ac" and Actinium
(conventionalShortName "Ag" Silver) Mid-level-ontology.kif 28151-28151 conventionalShortName "Ag" and Silver
(conventionalShortName "Air Pollution" AirPollutionConvention) Geography.kif 3068-3068 conventionalShortName "Air Pollution" and AirPollutionConvention
(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 27580-27580 conventionalShortName "Al" and Aluminum
(conventionalShortName "Am" Americium) Mid-level-ontology.kif 29020-29020 conventionalShortName "Am" and Americium
(conventionalShortName "Antarctic Seals" AntarcticSealsConvention) Geography.kif 3114-3114 conventionalShortName "Antarctic Seals" and AntarcticSealsConvention
(conventionalShortName "Antarctic-Marine Living Resources" Antarctic-MarineLivingResourcesConvention) Geography.kif 3108-3108 conventionalShortName "Antarctic-Marine Living Resources" and Antarctic-MarineLivingResourcesConvention
(conventionalShortName "Ar" Argon) Mid-level-ontology.kif 27663-27663 conventionalShortName "Ar" and Argon
(conventionalShortName "As" Arsenic) Mid-level-ontology.kif 27911-27911 conventionalShortName "As" and Arsenic
(conventionalShortName "At" Astatine) Mid-level-ontology.kif 28847-28847 conventionalShortName "At" and Astatine
(conventionalShortName "Au" Gold) Mid-level-ontology.kif 28736-28736 conventionalShortName "Au" and Gold
(conventionalShortName "B" Boron) Mid-level-ontology.kif 27436-27436 conventionalShortName "B" and Boron
(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 28308-28308 conventionalShortName "Ba" and Barium
(conventionalShortName "Basel Convention" HazardousWastesConvention) Geography.kif 3175-3175 conventionalShortName "Basel Convention" and HazardousWastesConvention
(conventionalShortName "Be" Beryllium) Mid-level-ontology.kif 27420-27420 conventionalShortName "Be" and Beryllium
(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 28812-28812 conventionalShortName "Bi" and Bismuth
(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 29054-29054 conventionalShortName "Bk" and Berkelium
(conventionalShortName "Border Patrol" USCustomsAndBorderProtection) Government.kif 4800-4800 conventionalShortName "Border Patrol" and USCustomsAndBorderProtection
(conventionalShortName "Br" Bromine) Mid-level-ontology.kif 27942-27942 conventionalShortName "Br" and Bromine
(conventionalShortName "C" Carbon) Mid-level-ontology.kif 27455-27455 conventionalShortName "C" and Carbon
(conventionalShortName "Ca" Calcium) Mid-level-ontology.kif 27694-27694 conventionalShortName "Ca" and Calcium
(conventionalShortName "Cd" Cadmium) Mid-level-ontology.kif 28166-28166 conventionalShortName "Cd" and Cadmium
(conventionalShortName "Ce" Cerium) Mid-level-ontology.kif 28344-28344 conventionalShortName "Ce" and Cerium
(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 29071-29071 conventionalShortName "Cf" and Californium
(conventionalShortName "Cl" Chlorine) Mid-level-ontology.kif 27646-27646 conventionalShortName "Cl" and Chlorine

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