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 conventionalShortName の数値 1 引数は 記号文字列instance では
(domain conventionalShortName 2 Entity) Mid-level-ontology.kif 29128-29128 conventionalShortName の数値 2 引数は エンティティーinstance では
(instance conventionalShortName BinaryPredicate) Mid-level-ontology.kif 29120-29120 conventionalShortName2進述語instance では
(subrelation conventionalShortName names) Mid-level-ontology.kif 29129-29129 conventionalShortNamenamessubrelation では

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

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


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

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