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 29124-29127
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 29129-29129 The number 1 argument of conventional short name is an instance of symbolic string
(domain conventionalShortName 2 Entity) Mid-level-ontology.kif 29130-29130 The number 2 argument of conventional short name is an instance of entity
(instance conventionalShortName BinaryPredicate) Mid-level-ontology.kif 29122-29122 conventional short name is an instance of binary predicate
(subrelation conventionalShortName names) Mid-level-ontology.kif 29131-29131 conventional short name is a subrelation of names

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 29136-29136 abbreviation is a subrelation of conventional short name
(termFormat ChineseLanguage conventionalShortName "传统的短名称") domainEnglishFormat.kif 17115-17115 abbreviation is a subrelation of conventional short name
(termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱") domainEnglishFormat.kif 17114-17114 abbreviation is a subrelation of conventional short name
(termFormat EnglishLanguage conventionalShortName "acronym") Mid-level-ontology.kif 29160-29160 abbreviation is a subrelation of conventional short name
(termFormat EnglishLanguage conventionalShortName "conventional short name") domainEnglishFormat.kif 17113-17113 abbreviation is a subrelation of conventional short name

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


(conventionalShortName "Ac" Actinium) Mid-level-ontology.kif 30730-30730 Actinium is a conventional short name of "Ac"
(conventionalShortName "Ag" Silver) Mid-level-ontology.kif 29967-29967 Silver is a conventional short name of "Ag"
(conventionalShortName "Air Pollution" AirPollutionConvention) Geography.kif 3130-3130 Air pollution convention is a conventional short name of "Air Pollution"
(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 29396-29396 Aluminum is a conventional short name of "Al"
(conventionalShortName "Am" Americium) Mid-level-ontology.kif 30836-30836 Americium is a conventional short name of "Am"
(conventionalShortName "Antarctic Seals" AntarcticSealsConvention) Geography.kif 3176-3176 Antarctic seals convention is a conventional short name of "Antarctic Seals"
(conventionalShortName "Antarctic_Marine Living Resources" Antarctic_MarineLivingResourcesConvention) Geography.kif 3170-3170 Antarctic marine living resources convention is a conventional short name of "Antarctic_Marine Living Resources"
(conventionalShortName "Ar" Argon) Mid-level-ontology.kif 29479-29479 Argon is a conventional short name of "Ar"
(conventionalShortName "As" Arsenic) Mid-level-ontology.kif 29727-29727 Arsenic is a conventional short name of "As"
(conventionalShortName "At" Astatine) Mid-level-ontology.kif 30663-30663 Astatine is a conventional short name of "At"
(conventionalShortName "Au" Gold) Mid-level-ontology.kif 30552-30552 Gold is a conventional short name of "Au"
(conventionalShortName "B" Boron) Mid-level-ontology.kif 29252-29252 Boron is a conventional short name of "B"
(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 30124-30124 Barium is a conventional short name of "Ba"
(conventionalShortName "Basel Convention" HazardousWastesConvention) Geography.kif 3237-3237 Hazardous wastes convention is a conventional short name of "Basel Convention"
(conventionalShortName "Be" Beryllium) Mid-level-ontology.kif 29236-29236 Beryllium is a conventional short name of "Be"
(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 30628-30628 Bismuth is a conventional short name of "Bi"
(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 30870-30870 Berkelium is a conventional short name of "Bk"
(conventionalShortName "Border Patrol" USCustomsAndBorderProtection) Government.kif 4761-4761 US customs and border protection is a conventional short name of "Border Patrol"
(conventionalShortName "Br" Bromine) Mid-level-ontology.kif 29758-29758 Bromine is a conventional short name of "Br"
(conventionalShortName "C" Carbon) Mid-level-ontology.kif 29271-29271 Carbon is a conventional short name of "C"
(conventionalShortName "Ca" Calcium) Mid-level-ontology.kif 29510-29510 Calcium is a conventional short name of "Ca"
(conventionalShortName "Cd" Cadmium) Mid-level-ontology.kif 29982-29982 Cadmium is a conventional short name of "Cd"
(conventionalShortName "Ce" Cerium) Mid-level-ontology.kif 30160-30160 Cerium is a conventional short name of "Ce"
(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 30887-30887 Californium is a conventional short name of "Cf"
(conventionalShortName "Cl" Chlorine) Mid-level-ontology.kif 29462-29462 Chlorine is a conventional short name of "Cl"

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