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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 27221-27224
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 27226-27226 Le nombre 1 argument de conventionalShortName est une instance de cha�ne sympbolique
(domain conventionalShortName 2 Entity) Mid-level-ontology.kif 27227-27227 Le nombre 2 argument de conventionalShortName est une instance de entit�
(instance conventionalShortName BinaryPredicate) Mid-level-ontology.kif 27219-27219 conventionalShortName est une instance de pr�dicat binaire
(subrelation conventionalShortName names) Mid-level-ontology.kif 27228-27228 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 27233-27233 abbreviation est une sous-relation de conventionalShortName
(termFormat ChineseLanguage conventionalShortName "传统的短名称") domainEnglishFormat.kif 17106-17106
(termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱") domainEnglishFormat.kif 17105-17105
(termFormat EnglishLanguage conventionalShortName "acronym") Mid-level-ontology.kif 27239-27239
(termFormat EnglishLanguage conventionalShortName "conventional short name") domainEnglishFormat.kif 17104-17104

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


(conventionalShortName "Ac" Actinium) Mid-level-ontology.kif 28809-28809 conventionalShortName "Ac" and Actinium
(conventionalShortName "Ag" Silver) Mid-level-ontology.kif 28046-28046 conventionalShortName "Ag" and Silver
(conventionalShortName "Air Pollution" AirPollutionConvention) Geography.kif 3142-3142 conventionalShortName "Air Pollution" and AirPollutionConvention
(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 27475-27475 conventionalShortName "Al" and Aluminum
(conventionalShortName "Am" Americium) Mid-level-ontology.kif 28915-28915 conventionalShortName "Am" and Americium
(conventionalShortName "Antarctic Seals" AntarcticSealsConvention) Geography.kif 3188-3188 conventionalShortName "Antarctic Seals" and AntarcticSealsConvention
(conventionalShortName "Antarctic-Marine Living Resources" Antarctic-MarineLivingResourcesConvention) Geography.kif 3182-3182 conventionalShortName "Antarctic-Marine Living Resources" and Antarctic-MarineLivingResourcesConvention
(conventionalShortName "Ar" Argon) Mid-level-ontology.kif 27558-27558 conventionalShortName "Ar" and Argon
(conventionalShortName "As" Arsenic) Mid-level-ontology.kif 27806-27806 conventionalShortName "As" and Arsenic
(conventionalShortName "At" Astatine) Mid-level-ontology.kif 28742-28742 conventionalShortName "At" and Astatine
(conventionalShortName "Au" Gold) Mid-level-ontology.kif 28631-28631 conventionalShortName "Au" and Gold
(conventionalShortName "B" Boron) Mid-level-ontology.kif 27331-27331 conventionalShortName "B" and Boron
(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 28203-28203 conventionalShortName "Ba" and Barium
(conventionalShortName "Basel Convention" HazardousWastesConvention) Geography.kif 3249-3249 conventionalShortName "Basel Convention" and HazardousWastesConvention
(conventionalShortName "Be" Beryllium) Mid-level-ontology.kif 27315-27315 conventionalShortName "Be" and Beryllium
(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 28707-28707 conventionalShortName "Bi" and Bismuth
(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 28949-28949 conventionalShortName "Bk" and Berkelium
(conventionalShortName "Border Patrol" USCustomsAndBorderProtection) Government.kif 4800-4800 conventionalShortName "Border Patrol" and USCustomsAndBorderProtection
(conventionalShortName "Br" Bromine) Mid-level-ontology.kif 27837-27837 conventionalShortName "Br" and Bromine
(conventionalShortName "C" Carbon) Mid-level-ontology.kif 27350-27350 conventionalShortName "C" and Carbon
(conventionalShortName "Ca" Calcium) Mid-level-ontology.kif 27589-27589 conventionalShortName "Ca" and Calcium
(conventionalShortName "Cd" Cadmium) Mid-level-ontology.kif 28061-28061 conventionalShortName "Cd" and Cadmium
(conventionalShortName "Ce" Cerium) Mid-level-ontology.kif 28239-28239 conventionalShortName "Ce" and Cerium
(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 28966-28966 conventionalShortName "Cf" and Californium
(conventionalShortName "Cl" Chlorine) Mid-level-ontology.kif 27541-27541 conventionalShortName "Cl" and Chlorine

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