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 29122-29125
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 29127-29127
(domain conventionalShortName 2 Entity) Mid-level-ontology.kif 29128-29128
(instance conventionalShortName BinaryPredicate) Mid-level-ontology.kif 29120-29120
(subrelation conventionalShortName names) Mid-level-ontology.kif 29129-29129

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 29134-29134
(termFormat ChineseLanguage conventionalShortName "传统的短名称") domainEnglishFormat.kif 17115-17115
(termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱") domainEnglishFormat.kif 17114-17114
(termFormat EnglishLanguage conventionalShortName "acronym") Mid-level-ontology.kif 29158-29158
(termFormat EnglishLanguage conventionalShortName "conventional short name") domainEnglishFormat.kif 17113-17113

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


(conventionalShortName "Ac" Actinium) Mid-level-ontology.kif 30728-30728
(conventionalShortName "Ag" Silver) Mid-level-ontology.kif 29965-29965
(conventionalShortName "Air Pollution" AirPollutionConvention) Geography.kif 3300-3300
(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 29394-29394
(conventionalShortName "Am" Americium) Mid-level-ontology.kif 30834-30834
(conventionalShortName "Antarctic Seals" AntarcticSealsConvention) Geography.kif 3346-3346
(conventionalShortName "Antarctic_Marine Living Resources" Antarctic_MarineLivingResourcesConvention) Geography.kif 3340-3340
(conventionalShortName "Ar" Argon) Mid-level-ontology.kif 29477-29477
(conventionalShortName "As" Arsenic) Mid-level-ontology.kif 29725-29725
(conventionalShortName "At" Astatine) Mid-level-ontology.kif 30661-30661
(conventionalShortName "Au" Gold) Mid-level-ontology.kif 30550-30550
(conventionalShortName "B" Boron) Mid-level-ontology.kif 29250-29250
(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 30122-30122
(conventionalShortName "Basel Convention" HazardousWastesConvention) Geography.kif 3407-3407
(conventionalShortName "Be" Beryllium) Mid-level-ontology.kif 29234-29234
(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 30626-30626
(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 30868-30868
(conventionalShortName "Border Patrol" USCustomsAndBorderProtection) Government.kif 4761-4761
(conventionalShortName "Br" Bromine) Mid-level-ontology.kif 29756-29756
(conventionalShortName "C" Carbon) Mid-level-ontology.kif 29269-29269
(conventionalShortName "Ca" Calcium) Mid-level-ontology.kif 29508-29508
(conventionalShortName "Cd" Cadmium) Mid-level-ontology.kif 29980-29980
(conventionalShortName "Ce" Cerium) Mid-level-ontology.kif 30158-30158
(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 30885-30885
(conventionalShortName "Cl" Chlorine) Mid-level-ontology.kif 29460-29460

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