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 27137-27140
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 27142-27142 The number 1 argument of conventional short name is an instance of symbolic string
(domain conventionalShortName 2 Entity) Mid-level-ontology.kif 27143-27143 The number 2 argument of conventional short name is an instance of entity
(instance conventionalShortName BinaryPredicate) Mid-level-ontology.kif 27135-27135 conventional short name is an instance of binary predicate
(subrelation conventionalShortName names) Mid-level-ontology.kif 27144-27144 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 27149-27149 abbreviation is a subrelation of conventional short name
(termFormat ChineseLanguage conventionalShortName "传统的短名称") domainEnglishFormat.kif 17092-17092
(termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱") domainEnglishFormat.kif 17091-17091
(termFormat EnglishLanguage conventionalShortName "acronym") Mid-level-ontology.kif 27155-27155
(termFormat EnglishLanguage conventionalShortName "conventional short name") domainEnglishFormat.kif 17090-17090

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


(conventionalShortName "Ac" Actinium) Mid-level-ontology.kif 28725-28725 Actinium is a conventional short name of "Ac"
(conventionalShortName "Ag" Silver) Mid-level-ontology.kif 27962-27962 Silver is a conventional short name of "Ag"
(conventionalShortName "Air Pollution" AirPollutionConvention) Geography.kif 3075-3075 Air pollution convention is a conventional short name of "Air Pollution"
(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 27391-27391 Aluminum is a conventional short name of "Al"
(conventionalShortName "Am" Americium) Mid-level-ontology.kif 28831-28831 Americium is a conventional short name of "Am"
(conventionalShortName "Antarctic Seals" AntarcticSealsConvention) Geography.kif 3121-3121 Antarctic seals convention is a conventional short name of "Antarctic Seals"
(conventionalShortName "Antarctic-Marine Living Resources" Antarctic-MarineLivingResourcesConvention) Geography.kif 3115-3115 Antarctic- marine living resources convention is a conventional short name of "Antarctic-Marine Living Resources"
(conventionalShortName "Ar" Argon) Mid-level-ontology.kif 27474-27474 Argon is a conventional short name of "Ar"
(conventionalShortName "As" Arsenic) Mid-level-ontology.kif 27722-27722 Arsenic is a conventional short name of "As"
(conventionalShortName "At" Astatine) Mid-level-ontology.kif 28658-28658 Astatine is a conventional short name of "At"
(conventionalShortName "Au" Gold) Mid-level-ontology.kif 28547-28547 Gold is a conventional short name of "Au"
(conventionalShortName "B" Boron) Mid-level-ontology.kif 27247-27247 Boron is a conventional short name of "B"
(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 28119-28119 Barium is a conventional short name of "Ba"
(conventionalShortName "Basel Convention" HazardousWastesConvention) Geography.kif 3182-3182 Hazardous wastes convention is a conventional short name of "Basel Convention"
(conventionalShortName "Be" Beryllium) Mid-level-ontology.kif 27231-27231 Beryllium is a conventional short name of "Be"
(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 28623-28623 Bismuth is a conventional short name of "Bi"
(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 28865-28865 Berkelium is a conventional short name of "Bk"
(conventionalShortName "Border Patrol" USCustomsAndBorderProtection) Government.kif 4800-4800 US customs and border protection is a conventional short name of "Border Patrol"
(conventionalShortName "Br" Bromine) Mid-level-ontology.kif 27753-27753 Bromine is a conventional short name of "Br"
(conventionalShortName "C" Carbon) Mid-level-ontology.kif 27266-27266 Carbon is a conventional short name of "C"
(conventionalShortName "Ca" Calcium) Mid-level-ontology.kif 27505-27505 Calcium is a conventional short name of "Ca"
(conventionalShortName "Cd" Cadmium) Mid-level-ontology.kif 27977-27977 Cadmium is a conventional short name of "Cd"
(conventionalShortName "Ce" Cerium) Mid-level-ontology.kif 28155-28155 Cerium is a conventional short name of "Ce"
(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 28882-28882 Californium is a conventional short name of "Cf"
(conventionalShortName "Cl" Chlorine) Mid-level-ontology.kif 27457-27457 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 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