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 25629-25632
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 25634-25634
(domain conventionalShortName 2 Entity) Mid-level-ontology.kif 25635-25635
(instance conventionalShortName BinaryPredicate) Mid-level-ontology.kif 25627-25627
(subrelation conventionalShortName names) Mid-level-ontology.kif 25636-25636

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 25641-25641
(termFormat ChineseLanguage conventionalShortName "传统的短名称") domainEnglishFormat.kif 17097-17097
(termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱") domainEnglishFormat.kif 17096-17096
(termFormat EnglishLanguage conventionalShortName "acronym") Mid-level-ontology.kif 25647-25647
(termFormat EnglishLanguage conventionalShortName "conventional short name") domainEnglishFormat.kif 17095-17095

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


(conventionalShortName "Ac" Actinium) Mid-level-ontology.kif 27217-27217
(conventionalShortName "Ag" Silver) Mid-level-ontology.kif 26454-26454
(conventionalShortName "Air Pollution" AirPollutionConvention) Geography.kif 3023-3023
(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 25883-25883
(conventionalShortName "Am" Americium) Mid-level-ontology.kif 27323-27323
(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 25966-25966
(conventionalShortName "As" Arsenic) Mid-level-ontology.kif 26214-26214
(conventionalShortName "At" Astatine) Mid-level-ontology.kif 27150-27150
(conventionalShortName "Au" Gold) Mid-level-ontology.kif 27039-27039
(conventionalShortName "B" Boron) Mid-level-ontology.kif 25739-25739
(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 26611-26611
(conventionalShortName "Basel Convention" HazardousWastesConvention) Geography.kif 3130-3130
(conventionalShortName "Be" Beryllium) Mid-level-ontology.kif 25723-25723
(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 27115-27115
(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 27357-27357
(conventionalShortName "Border Patrol" USCustomsAndBorderProtection) Government.kif 4763-4763
(conventionalShortName "Br" Bromine) Mid-level-ontology.kif 26245-26245
(conventionalShortName "C" Carbon) Mid-level-ontology.kif 25758-25758
(conventionalShortName "Ca" Calcium) Mid-level-ontology.kif 25997-25997
(conventionalShortName "Cd" Cadmium) Mid-level-ontology.kif 26469-26469
(conventionalShortName "Ce" Cerium) Mid-level-ontology.kif 26647-26647
(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 27374-27374
(conventionalShortName "Cl" Chlorine) Mid-level-ontology.kif 25949-25949

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