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
(domain conventionalShortName 2 Entity) Mid-level-ontology.kif 27227-27227
(instance conventionalShortName BinaryPredicate) Mid-level-ontology.kif 27219-27219
(subrelation conventionalShortName names) Mid-level-ontology.kif 27228-27228

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
(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 "Ag" Silver) Mid-level-ontology.kif 28046-28046
(conventionalShortName "Air Pollution" AirPollutionConvention) Geography.kif 3142-3142
(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 27475-27475
(conventionalShortName "Am" Americium) Mid-level-ontology.kif 28915-28915
(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 27558-27558
(conventionalShortName "As" Arsenic) Mid-level-ontology.kif 27806-27806
(conventionalShortName "At" Astatine) Mid-level-ontology.kif 28742-28742
(conventionalShortName "Au" Gold) Mid-level-ontology.kif 28631-28631
(conventionalShortName "B" Boron) Mid-level-ontology.kif 27331-27331
(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 28203-28203
(conventionalShortName "Basel Convention" HazardousWastesConvention) Geography.kif 3249-3249
(conventionalShortName "Be" Beryllium) Mid-level-ontology.kif 27315-27315
(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 28707-28707
(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 28949-28949
(conventionalShortName "Border Patrol" USCustomsAndBorderProtection) Government.kif 4800-4800
(conventionalShortName "Br" Bromine) Mid-level-ontology.kif 27837-27837
(conventionalShortName "C" Carbon) Mid-level-ontology.kif 27350-27350
(conventionalShortName "Ca" Calcium) Mid-level-ontology.kif 27589-27589
(conventionalShortName "Cd" Cadmium) Mid-level-ontology.kif 28061-28061
(conventionalShortName "Ce" Cerium) Mid-level-ontology.kif 28239-28239
(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 28966-28966
(conventionalShortName "Cl" Chlorine) Mid-level-ontology.kif 27541-27541

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