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 25515-25518
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 25520-25520
(domain conventionalShortName 2 Entity) Mid-level-ontology.kif 25521-25521
(instance conventionalShortName BinaryPredicate) Mid-level-ontology.kif 25513-25513
(subrelation conventionalShortName names) Mid-level-ontology.kif 25522-25522

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

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


(conventionalShortName "Ac" Actinium) Mid-level-ontology.kif 27022-27022
(conventionalShortName "Ag" Silver) Mid-level-ontology.kif 26301-26301
(conventionalShortName "Air Pollution" AirPollutionConvention) Geography.kif 3023-3023
(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 25764-25764
(conventionalShortName "Am" Americium) Mid-level-ontology.kif 27122-27122
(conventionalShortName "Antarctic Seals" AntarcticSealsConvention) Geography.kif 3069-3069
(conventionalShortName "Antarctic-Marine Living Resources" Antarctic-MarineLivingResourcesConvention) Geography.kif 3063-3063
(conventionalShortName "Ar" Argon) Mid-level-ontology.kif 25842-25842
(conventionalShortName "As" Arsenic) Mid-level-ontology.kif 26075-26075
(conventionalShortName "At" Astatine) Mid-level-ontology.kif 26959-26959
(conventionalShortName "Au" Gold) Mid-level-ontology.kif 26854-26854
(conventionalShortName "B" Boron) Mid-level-ontology.kif 25628-25628
(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 26449-26449
(conventionalShortName "Basel Convention" HazardousWastesConvention) Geography.kif 3130-3130
(conventionalShortName "Be" Beryllium) Mid-level-ontology.kif 25613-25613
(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 26926-26926
(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 27154-27154
(conventionalShortName "Border Patrol" USCustomsAndBorderProtection) Government.kif 4763-4763
(conventionalShortName "Br" Bromine) Mid-level-ontology.kif 26104-26104
(conventionalShortName "C" Carbon) Mid-level-ontology.kif 25646-25646
(conventionalShortName "Ca" Calcium) Mid-level-ontology.kif 25871-25871
(conventionalShortName "Cd" Cadmium) Mid-level-ontology.kif 26315-26315
(conventionalShortName "Ce" Cerium) Mid-level-ontology.kif 26483-26483
(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 27170-27170
(conventionalShortName "Cl" Chlorine) Mid-level-ontology.kif 25826-25826

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