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 28881-28884
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 28886-28886 conventionalShortName の数値 1 引数は 記号文字列instance では %n
(domain conventionalShortName 2 Entity) Mid-level-ontology.kif 28887-28887 conventionalShortName の数値 2 引数は エンティティーinstance では %n
(instance conventionalShortName BinaryPredicate) Mid-level-ontology.kif 28879-28879 conventionalShortName2進述語instance では %n
(subrelation conventionalShortName names) Mid-level-ontology.kif 28888-28888 conventionalShortNamenamessubrelation では %n

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 28893-28893 abbreviationconventionalShortNamesubrelation では %n
(termFormat ChineseLanguage conventionalShortName "传统的短名称") domainEnglishFormat.kif 17121-17121 abbreviationconventionalShortNamesubrelation では %n
(termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱") domainEnglishFormat.kif 17120-17120 abbreviationconventionalShortNamesubrelation では %n
(termFormat EnglishLanguage conventionalShortName "acronym") Mid-level-ontology.kif 28917-28917 abbreviationconventionalShortNamesubrelation では %n
(termFormat EnglishLanguage conventionalShortName "conventional short name") domainEnglishFormat.kif 17119-17119 abbreviationconventionalShortNamesubrelation では %n

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


(conventionalShortName "Ac" Actinium) Mid-level-ontology.kif 30487-30487 conventionalShortName "Ac" and Actinium
(conventionalShortName "Ag" Silver) Mid-level-ontology.kif 29724-29724 conventionalShortName "Ag" and Silver
(conventionalShortName "Air Pollution" AirPollutionConvention) Geography.kif 3130-3130 conventionalShortName "Air Pollution" and AirPollutionConvention
(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 29153-29153 conventionalShortName "Al" and Aluminum
(conventionalShortName "Am" Americium) Mid-level-ontology.kif 30593-30593 conventionalShortName "Am" and Americium
(conventionalShortName "Antarctic Seals" AntarcticSealsConvention) Geography.kif 3176-3176 conventionalShortName "Antarctic Seals" and AntarcticSealsConvention
(conventionalShortName "Antarctic_Marine Living Resources" Antarctic_MarineLivingResourcesConvention) Geography.kif 3170-3170 conventionalShortName "Antarctic_Marine Living Resources" and Antarctic_MarineLivingResourcesConvention
(conventionalShortName "Ar" Argon) Mid-level-ontology.kif 29236-29236 conventionalShortName "Ar" and Argon
(conventionalShortName "As" Arsenic) Mid-level-ontology.kif 29484-29484 conventionalShortName "As" and Arsenic
(conventionalShortName "At" Astatine) Mid-level-ontology.kif 30420-30420 conventionalShortName "At" and Astatine
(conventionalShortName "Au" Gold) Mid-level-ontology.kif 30309-30309 conventionalShortName "Au" and Gold
(conventionalShortName "B" Boron) Mid-level-ontology.kif 29009-29009 conventionalShortName "B" and Boron
(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 29881-29881 conventionalShortName "Ba" and Barium
(conventionalShortName "Basel Convention" HazardousWastesConvention) Geography.kif 3237-3237 conventionalShortName "Basel Convention" and HazardousWastesConvention
(conventionalShortName "Be" Beryllium) Mid-level-ontology.kif 28993-28993 conventionalShortName "Be" and Beryllium
(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 30385-30385 conventionalShortName "Bi" and Bismuth
(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 30627-30627 conventionalShortName "Bk" and Berkelium
(conventionalShortName "Border Patrol" USCustomsAndBorderProtection) Government.kif 4761-4761 conventionalShortName "Border Patrol" and USCustomsAndBorderProtection
(conventionalShortName "Br" Bromine) Mid-level-ontology.kif 29515-29515 conventionalShortName "Br" and Bromine
(conventionalShortName "C" Carbon) Mid-level-ontology.kif 29028-29028 conventionalShortName "C" and Carbon
(conventionalShortName "Ca" Calcium) Mid-level-ontology.kif 29267-29267 conventionalShortName "Ca" and Calcium
(conventionalShortName "Cd" Cadmium) Mid-level-ontology.kif 29739-29739 conventionalShortName "Cd" and Cadmium
(conventionalShortName "Ce" Cerium) Mid-level-ontology.kif 29917-29917 conventionalShortName "Ce" and Cerium
(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 30644-30644 conventionalShortName "Cf" and Californium
(conventionalShortName "Cl" Chlorine) Mid-level-ontology.kif 29219-29219 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