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 26446-26449
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 26451-26451
(domain conventionalShortName 2 Entity) Mid-level-ontology.kif 26452-26452
(instance conventionalShortName BinaryPredicate) Mid-level-ontology.kif 26444-26444
(subrelation conventionalShortName names) Mid-level-ontology.kif 26453-26453

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

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


(conventionalShortName "Ac" Actinium) Mid-level-ontology.kif 28034-28034
(conventionalShortName "Ag" Silver) Mid-level-ontology.kif 27271-27271
(conventionalShortName "Air Pollution" AirPollutionConvention) Geography.kif 3023-3023
(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 26700-26700
(conventionalShortName "Am" Americium) Mid-level-ontology.kif 28140-28140
(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 26783-26783
(conventionalShortName "As" Arsenic) Mid-level-ontology.kif 27031-27031
(conventionalShortName "At" Astatine) Mid-level-ontology.kif 27967-27967
(conventionalShortName "Au" Gold) Mid-level-ontology.kif 27856-27856
(conventionalShortName "B" Boron) Mid-level-ontology.kif 26556-26556
(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 27428-27428
(conventionalShortName "Basel Convention" HazardousWastesConvention) Geography.kif 3130-3130
(conventionalShortName "Be" Beryllium) Mid-level-ontology.kif 26540-26540
(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 27932-27932
(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 28174-28174
(conventionalShortName "Border Patrol" USCustomsAndBorderProtection) Government.kif 4776-4776
(conventionalShortName "Br" Bromine) Mid-level-ontology.kif 27062-27062
(conventionalShortName "C" Carbon) Mid-level-ontology.kif 26575-26575
(conventionalShortName "Ca" Calcium) Mid-level-ontology.kif 26814-26814
(conventionalShortName "Cd" Cadmium) Mid-level-ontology.kif 27286-27286
(conventionalShortName "Ce" Cerium) Mid-level-ontology.kif 27464-27464
(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 28191-28191
(conventionalShortName "Cl" Chlorine) Mid-level-ontology.kif 26766-26766

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