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 27122-27125
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 27127-27127
(domain conventionalShortName 2 Entity) Mid-level-ontology.kif 27128-27128
(instance conventionalShortName BinaryPredicate) Mid-level-ontology.kif 27120-27120
(subrelation conventionalShortName names) Mid-level-ontology.kif 27129-27129

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 27134-27134
(termFormat ChineseLanguage conventionalShortName "传统的短名称") domainEnglishFormat.kif 17106-17106
(termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱") domainEnglishFormat.kif 17105-17105
(termFormat EnglishLanguage conventionalShortName "acronym") Mid-level-ontology.kif 27140-27140
(termFormat EnglishLanguage conventionalShortName "conventional short name") domainEnglishFormat.kif 17104-17104

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


(conventionalShortName "Ac" Actinium) Mid-level-ontology.kif 28710-28710
(conventionalShortName "Ag" Silver) Mid-level-ontology.kif 27947-27947
(conventionalShortName "Air Pollution" AirPollutionConvention) Geography.kif 3071-3071
(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 27376-27376
(conventionalShortName "Am" Americium) Mid-level-ontology.kif 28816-28816
(conventionalShortName "Antarctic Seals" AntarcticSealsConvention) Geography.kif 3117-3117
(conventionalShortName "Antarctic-Marine Living Resources" Antarctic-MarineLivingResourcesConvention) Geography.kif 3111-3111
(conventionalShortName "Ar" Argon) Mid-level-ontology.kif 27459-27459
(conventionalShortName "As" Arsenic) Mid-level-ontology.kif 27707-27707
(conventionalShortName "At" Astatine) Mid-level-ontology.kif 28643-28643
(conventionalShortName "Au" Gold) Mid-level-ontology.kif 28532-28532
(conventionalShortName "B" Boron) Mid-level-ontology.kif 27232-27232
(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 28104-28104
(conventionalShortName "Basel Convention" HazardousWastesConvention) Geography.kif 3178-3178
(conventionalShortName "Be" Beryllium) Mid-level-ontology.kif 27216-27216
(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 28608-28608
(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 28850-28850
(conventionalShortName "Border Patrol" USCustomsAndBorderProtection) Government.kif 4800-4800
(conventionalShortName "Br" Bromine) Mid-level-ontology.kif 27738-27738
(conventionalShortName "C" Carbon) Mid-level-ontology.kif 27251-27251
(conventionalShortName "Ca" Calcium) Mid-level-ontology.kif 27490-27490
(conventionalShortName "Cd" Cadmium) Mid-level-ontology.kif 27962-27962
(conventionalShortName "Ce" Cerium) Mid-level-ontology.kif 28140-28140
(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 28867-28867
(conventionalShortName "Cl" Chlorine) Mid-level-ontology.kif 27442-27442

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