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 29108-29111
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 29113-29113 The number 1 argument of conventionalShortName is an instance of symbolic string
(domain conventionalShortName 2 Entity) Mid-level-ontology.kif 29114-29114 The number 2 argument of conventionalShortName is an instance of entity
(instance conventionalShortName BinaryPredicate) Mid-level-ontology.kif 29106-29106 conventionalShortName is an instance of binary predicate
(subrelation conventionalShortName names) Mid-level-ontology.kif 29115-29115 conventionalShortName is a subrelation of 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 29120-29120 abbreviation is a subrelation of conventionalShortName
(termFormat ChineseLanguage conventionalShortName "传统的短名称") domainEnglishFormat.kif 17114-17114 abbreviation is a subrelation of conventionalShortName
(termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱") domainEnglishFormat.kif 17113-17113 abbreviation is a subrelation of conventionalShortName
(termFormat EnglishLanguage conventionalShortName "acronym") Mid-level-ontology.kif 29144-29144 abbreviation is a subrelation of conventionalShortName
(termFormat EnglishLanguage conventionalShortName "conventional short name") domainEnglishFormat.kif 17112-17112 abbreviation is a subrelation of conventionalShortName

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


(conventionalShortName "Ac" Actinium) Mid-level-ontology.kif 30714-30714 conventionalShortName "Ac" and Actinium
(conventionalShortName "Ag" Silver) Mid-level-ontology.kif 29951-29951 conventionalShortName "Ag" and Silver
(conventionalShortName "Air Pollution" AirPollutionConvention) Geography.kif 4610-4610 conventionalShortName "Air Pollution" and AirPollutionConvention
(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 29380-29380 conventionalShortName "Al" and Aluminum
(conventionalShortName "Am" Americium) Mid-level-ontology.kif 30820-30820 conventionalShortName "Am" and Americium
(conventionalShortName "Antarctic Seals" AntarcticSealsConvention) Geography.kif 4656-4656 conventionalShortName "Antarctic Seals" and AntarcticSealsConvention
(conventionalShortName "Antarctic_Marine Living Resources" Antarctic_MarineLivingResourcesConvention) Geography.kif 4650-4650 conventionalShortName "Antarctic_Marine Living Resources" and Antarctic_MarineLivingResourcesConvention
(conventionalShortName "Ar" Argon) Mid-level-ontology.kif 29463-29463 conventionalShortName "Ar" and Argon
(conventionalShortName "As" Arsenic) Mid-level-ontology.kif 29711-29711 conventionalShortName "As" and Arsenic
(conventionalShortName "At" Astatine) Mid-level-ontology.kif 30647-30647 conventionalShortName "At" and Astatine
(conventionalShortName "Au" Gold) Mid-level-ontology.kif 30536-30536 conventionalShortName "Au" and Gold
(conventionalShortName "B" Boron) Mid-level-ontology.kif 29236-29236 conventionalShortName "B" and Boron
(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 30108-30108 conventionalShortName "Ba" and Barium
(conventionalShortName "Basel Convention" HazardousWastesConvention) Geography.kif 4717-4717 conventionalShortName "Basel Convention" and HazardousWastesConvention
(conventionalShortName "Be" Beryllium) Mid-level-ontology.kif 29220-29220 conventionalShortName "Be" and Beryllium
(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 30612-30612 conventionalShortName "Bi" and Bismuth
(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 30854-30854 conventionalShortName "Bk" and Berkelium
(conventionalShortName "Border Patrol" USCustomsAndBorderProtection) Government.kif 4761-4761 conventionalShortName "Border Patrol" and USCustomsAndBorderProtection
(conventionalShortName "Br" Bromine) Mid-level-ontology.kif 29742-29742 conventionalShortName "Br" and Bromine
(conventionalShortName "C" Carbon) Mid-level-ontology.kif 29255-29255 conventionalShortName "C" and Carbon
(conventionalShortName "Ca" Calcium) Mid-level-ontology.kif 29494-29494 conventionalShortName "Ca" and Calcium
(conventionalShortName "Cd" Cadmium) Mid-level-ontology.kif 29966-29966 conventionalShortName "Cd" and Cadmium
(conventionalShortName "Ce" Cerium) Mid-level-ontology.kif 30144-30144 conventionalShortName "Ce" and Cerium
(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 30871-30871 conventionalShortName "Cf" and Californium
(conventionalShortName "Cl" Chlorine) Mid-level-ontology.kif 29446-29446 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