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

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


(conventionalShortName "Ac" Actinium) Mid-level-ontology.kif 30714-30714 Actinium is a conventional short name of "Ac"
(conventionalShortName "Ag" Silver) Mid-level-ontology.kif 29951-29951 Silver is a conventional short name of "Ag"
(conventionalShortName "Air Pollution" AirPollutionConvention) Geography.kif 4610-4610 Air pollution convention is a conventional short name of "Air Pollution"
(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 29380-29380 Aluminum is a conventional short name of "Al"
(conventionalShortName "Am" Americium) Mid-level-ontology.kif 30820-30820 Americium is a conventional short name of "Am"
(conventionalShortName "Antarctic Seals" AntarcticSealsConvention) Geography.kif 4656-4656 Antarctic seals convention is a conventional short name of "Antarctic Seals"
(conventionalShortName "Antarctic_Marine Living Resources" Antarctic_MarineLivingResourcesConvention) Geography.kif 4650-4650 Antarctic marine living resources convention is a conventional short name of "Antarctic_Marine Living Resources"
(conventionalShortName "Ar" Argon) Mid-level-ontology.kif 29463-29463 Argon is a conventional short name of "Ar"
(conventionalShortName "As" Arsenic) Mid-level-ontology.kif 29711-29711 Arsenic is a conventional short name of "As"
(conventionalShortName "At" Astatine) Mid-level-ontology.kif 30647-30647 Astatine is a conventional short name of "At"
(conventionalShortName "Au" Gold) Mid-level-ontology.kif 30536-30536 Gold is a conventional short name of "Au"
(conventionalShortName "B" Boron) Mid-level-ontology.kif 29236-29236 Boron is a conventional short name of "B"
(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 30108-30108 Barium is a conventional short name of "Ba"
(conventionalShortName "Basel Convention" HazardousWastesConvention) Geography.kif 4717-4717 Hazardous wastes convention is a conventional short name of "Basel Convention"
(conventionalShortName "Be" Beryllium) Mid-level-ontology.kif 29220-29220 Beryllium is a conventional short name of "Be"
(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 30612-30612 Bismuth is a conventional short name of "Bi"
(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 30854-30854 Berkelium is a conventional short name of "Bk"
(conventionalShortName "Border Patrol" USCustomsAndBorderProtection) Government.kif 4761-4761 US customs and border protection is a conventional short name of "Border Patrol"
(conventionalShortName "Br" Bromine) Mid-level-ontology.kif 29742-29742 Bromine is a conventional short name of "Br"
(conventionalShortName "C" Carbon) Mid-level-ontology.kif 29255-29255 Carbon is a conventional short name of "C"
(conventionalShortName "Ca" Calcium) Mid-level-ontology.kif 29494-29494 Calcium is a conventional short name of "Ca"
(conventionalShortName "Cd" Cadmium) Mid-level-ontology.kif 29966-29966 Cadmium is a conventional short name of "Cd"
(conventionalShortName "Ce" Cerium) Mid-level-ontology.kif 30144-30144 Cerium is a conventional short name of "Ce"
(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 30871-30871 Californium is a conventional short name of "Cf"
(conventionalShortName "Cl" Chlorine) Mid-level-ontology.kif 29446-29446 Chlorine is a conventional short name of "Cl"

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