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 27136-27139
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 27141-27141 The number 1 argument of conventional short name is an instance of symbolic string
(domain conventionalShortName 2 Entity) Mid-level-ontology.kif 27142-27142 The number 2 argument of conventional short name is an instance of entity
(instance conventionalShortName BinaryPredicate) Mid-level-ontology.kif 27134-27134 conventional short name is an instance of binary predicate
(subrelation conventionalShortName names) Mid-level-ontology.kif 27143-27143 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 27148-27148 abbreviation is a subrelation of conventional short name
(termFormat ChineseLanguage conventionalShortName "传统的短名称") domainEnglishFormat.kif 17096-17096
(termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱") domainEnglishFormat.kif 17095-17095
(termFormat EnglishLanguage conventionalShortName "acronym") Mid-level-ontology.kif 27154-27154
(termFormat EnglishLanguage conventionalShortName "conventional short name") domainEnglishFormat.kif 17094-17094

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


(conventionalShortName "Ac" Actinium) Mid-level-ontology.kif 28724-28724 Actinium is a conventional short name of "Ac"
(conventionalShortName "Ag" Silver) Mid-level-ontology.kif 27961-27961 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 27390-27390 Aluminum is a conventional short name of "Al"
(conventionalShortName "Am" Americium) Mid-level-ontology.kif 28830-28830 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 27473-27473 Argon is a conventional short name of "Ar"
(conventionalShortName "As" Arsenic) Mid-level-ontology.kif 27721-27721 Arsenic is a conventional short name of "As"
(conventionalShortName "At" Astatine) Mid-level-ontology.kif 28657-28657 Astatine is a conventional short name of "At"
(conventionalShortName "Au" Gold) Mid-level-ontology.kif 28546-28546 Gold is a conventional short name of "Au"
(conventionalShortName "B" Boron) Mid-level-ontology.kif 27246-27246 Boron is a conventional short name of "B"
(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 28118-28118 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 27230-27230 Beryllium is a conventional short name of "Be"
(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 28622-28622 Bismuth is a conventional short name of "Bi"
(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 28864-28864 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 27752-27752 Bromine is a conventional short name of "Br"
(conventionalShortName "C" Carbon) Mid-level-ontology.kif 27265-27265 Carbon is a conventional short name of "C"
(conventionalShortName "Ca" Calcium) Mid-level-ontology.kif 27504-27504 Calcium is a conventional short name of "Ca"
(conventionalShortName "Cd" Cadmium) Mid-level-ontology.kif 27976-27976 Cadmium is a conventional short name of "Cd"
(conventionalShortName "Ce" Cerium) Mid-level-ontology.kif 28154-28154 Cerium is a conventional short name of "Ce"
(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 28881-28881 Californium is a conventional short name of "Cf"
(conventionalShortName "Cl" Chlorine) Mid-level-ontology.kif 27456-27456 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