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 23437-23440
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 23442-23442 The number 1 argument of conventional short name is an instance of symbolic string
(domain conventionalShortName 2 Entity) Mid-level-ontology.kif 23443-23443 The number 2 argument of conventional short name is an instance of entity
(instance conventionalShortName BinaryPredicate) Mid-level-ontology.kif 23435-23435 conventional short name is an instance of binary predicate
(subrelation conventionalShortName names) Mid-level-ontology.kif 23444-23444 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 23449-23449 abbreviation is a subrelation of conventional short name
(termFormat ChineseLanguage conventionalShortName "传统的短名称") domainEnglishFormat.kif 17097-17097
(termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱") domainEnglishFormat.kif 17096-17096
(termFormat EnglishLanguage conventionalShortName "acronym") Mid-level-ontology.kif 23455-23455
(termFormat EnglishLanguage conventionalShortName "conventional short name") domainEnglishFormat.kif 17095-17095

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


(conventionalShortName "Ac" Actinium) Mid-level-ontology.kif 25025-25025 Actinium is a conventional short name of "Ac"
(conventionalShortName "Ag" Silver) Mid-level-ontology.kif 24262-24262 Silver is a conventional short name of "Ag"
(conventionalShortName "Air Pollution" AirPollutionConvention) Geography.kif 3023-3023 Air pollution convention is a conventional short name of "Air Pollution"
(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 23691-23691 Aluminum is a conventional short name of "Al"
(conventionalShortName "Am" Americium) Mid-level-ontology.kif 25131-25131 Americium is a conventional short name of "Am"
(conventionalShortName "Antarctic Seals" AntarcticSealsConvention) Geography.kif 3069-3069 Antarctic seals convention is a conventional short name of "Antarctic Seals"
(conventionalShortName "Antarctic-Marine Living Resources" Antarctic-MarineLivingResourcesConvention) Geography.kif 3063-3063 Antarctic- marine living resources convention is a conventional short name of "Antarctic-Marine Living Resources"
(conventionalShortName "Ar" Argon) Mid-level-ontology.kif 23774-23774 Argon is a conventional short name of "Ar"
(conventionalShortName "As" Arsenic) Mid-level-ontology.kif 24022-24022 Arsenic is a conventional short name of "As"
(conventionalShortName "At" Astatine) Mid-level-ontology.kif 24958-24958 Astatine is a conventional short name of "At"
(conventionalShortName "Au" Gold) Mid-level-ontology.kif 24847-24847 Gold is a conventional short name of "Au"
(conventionalShortName "B" Boron) Mid-level-ontology.kif 23547-23547 Boron is a conventional short name of "B"
(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 24419-24419 Barium is a conventional short name of "Ba"
(conventionalShortName "Basel Convention" HazardousWastesConvention) Geography.kif 3130-3130 Hazardous wastes convention is a conventional short name of "Basel Convention"
(conventionalShortName "Be" Beryllium) Mid-level-ontology.kif 23531-23531 Beryllium is a conventional short name of "Be"
(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 24923-24923 Bismuth is a conventional short name of "Bi"
(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 25165-25165 Berkelium is a conventional short name of "Bk"
(conventionalShortName "Border Patrol" USCustomsAndBorderProtection) Government.kif 4763-4763 US customs and border protection is a conventional short name of "Border Patrol"
(conventionalShortName "Br" Bromine) Mid-level-ontology.kif 24053-24053 Bromine is a conventional short name of "Br"
(conventionalShortName "C" Carbon) Mid-level-ontology.kif 23566-23566 Carbon is a conventional short name of "C"
(conventionalShortName "Ca" Calcium) Mid-level-ontology.kif 23805-23805 Calcium is a conventional short name of "Ca"
(conventionalShortName "Cd" Cadmium) Mid-level-ontology.kif 24277-24277 Cadmium is a conventional short name of "Cd"
(conventionalShortName "Ce" Cerium) Mid-level-ontology.kif 24455-24455 Cerium is a conventional short name of "Ce"
(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 25182-25182 Californium is a conventional short name of "Cf"
(conventionalShortName "Cl" Chlorine) Mid-level-ontology.kif 23757-23757 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