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 26261-26264
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 26266-26266
(domain conventionalShortName 2 Entity) Mid-level-ontology.kif 26267-26267
(instance conventionalShortName BinaryPredicate) Mid-level-ontology.kif 26259-26259
(subrelation conventionalShortName names) Mid-level-ontology.kif 26268-26268

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 26273-26273
(termFormat ChineseLanguage conventionalShortName "传统的短名称") domainEnglishFormat.kif 17097-17097
(termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱") domainEnglishFormat.kif 17096-17096
(termFormat EnglishLanguage conventionalShortName "acronym") Mid-level-ontology.kif 26279-26279
(termFormat EnglishLanguage conventionalShortName "conventional short name") domainEnglishFormat.kif 17095-17095

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


(conventionalShortName "Ac" Actinium) Mid-level-ontology.kif 27849-27849
(conventionalShortName "Ag" Silver) Mid-level-ontology.kif 27086-27086
(conventionalShortName "Air Pollution" AirPollutionConvention) Geography.kif 3023-3023
(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 26515-26515
(conventionalShortName "Am" Americium) Mid-level-ontology.kif 27955-27955
(conventionalShortName "Antarctic Seals" AntarcticSealsConvention) Geography.kif 3069-3069
(conventionalShortName "Antarctic-Marine Living Resources" Antarctic-MarineLivingResourcesConvention) Geography.kif 3063-3063
(conventionalShortName "Ar" Argon) Mid-level-ontology.kif 26598-26598
(conventionalShortName "As" Arsenic) Mid-level-ontology.kif 26846-26846
(conventionalShortName "At" Astatine) Mid-level-ontology.kif 27782-27782
(conventionalShortName "Au" Gold) Mid-level-ontology.kif 27671-27671
(conventionalShortName "B" Boron) Mid-level-ontology.kif 26371-26371
(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 27243-27243
(conventionalShortName "Basel Convention" HazardousWastesConvention) Geography.kif 3130-3130
(conventionalShortName "Be" Beryllium) Mid-level-ontology.kif 26355-26355
(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 27747-27747
(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 27989-27989
(conventionalShortName "Border Patrol" USCustomsAndBorderProtection) Government.kif 4776-4776
(conventionalShortName "Br" Bromine) Mid-level-ontology.kif 26877-26877
(conventionalShortName "C" Carbon) Mid-level-ontology.kif 26390-26390
(conventionalShortName "Ca" Calcium) Mid-level-ontology.kif 26629-26629
(conventionalShortName "Cd" Cadmium) Mid-level-ontology.kif 27101-27101
(conventionalShortName "Ce" Cerium) Mid-level-ontology.kif 27279-27279
(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 28006-28006
(conventionalShortName "Cl" Chlorine) Mid-level-ontology.kif 26581-26581

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