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 25534-25537
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 25539-25539
(domain conventionalShortName 2 Entity) Mid-level-ontology.kif 25540-25540
(instance conventionalShortName BinaryPredicate) Mid-level-ontology.kif 25532-25532
(subrelation conventionalShortName names) Mid-level-ontology.kif 25541-25541

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 25546-25546
(termFormat ChineseLanguage conventionalShortName "传统的短名称") domainEnglishFormat.kif 17029-17029
(termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱") domainEnglishFormat.kif 17028-17028
(termFormat EnglishLanguage conventionalShortName "acronym") Mid-level-ontology.kif 25552-25552
(termFormat EnglishLanguage conventionalShortName "conventional short name") domainEnglishFormat.kif 17027-17027

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


(conventionalShortName "Ac" Actinium) Mid-level-ontology.kif 27041-27041
(conventionalShortName "Ag" Silver) Mid-level-ontology.kif 26320-26320
(conventionalShortName "Air Pollution" AirPollutionConvention) Geography.kif 3001-3001
(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 25783-25783
(conventionalShortName "Am" Americium) Mid-level-ontology.kif 27141-27141
(conventionalShortName "Antarctic Seals" AntarcticSealsConvention) Geography.kif 3047-3047
(conventionalShortName "Antarctic-Marine Living Resources" Antarctic-MarineLivingResourcesConvention) Geography.kif 3041-3041
(conventionalShortName "Ar" Argon) Mid-level-ontology.kif 25861-25861
(conventionalShortName "As" Arsenic) Mid-level-ontology.kif 26094-26094
(conventionalShortName "At" Astatine) Mid-level-ontology.kif 26978-26978
(conventionalShortName "Au" Gold) Mid-level-ontology.kif 26873-26873
(conventionalShortName "B" Boron) Mid-level-ontology.kif 25647-25647
(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 26468-26468
(conventionalShortName "Basel Convention" HazardousWastesConvention) Geography.kif 3108-3108
(conventionalShortName "Be" Beryllium) Mid-level-ontology.kif 25632-25632
(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 26945-26945
(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 27173-27173
(conventionalShortName "Border Patrol" USCustomsAndBorderProtection) Government.kif 4731-4731
(conventionalShortName "Br" Bromine) Mid-level-ontology.kif 26123-26123
(conventionalShortName "C" Carbon) Mid-level-ontology.kif 25665-25665
(conventionalShortName "Ca" Calcium) Mid-level-ontology.kif 25890-25890
(conventionalShortName "Cd" Cadmium) Mid-level-ontology.kif 26334-26334
(conventionalShortName "Ce" Cerium) Mid-level-ontology.kif 26502-26502
(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 27189-27189
(conventionalShortName "Cl" Chlorine) Mid-level-ontology.kif 25845-25845

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners