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
-------------------------


s__documentation(s__conventionalShortName__m,s__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 25036-25039
s__domain(s__conventionalShortName__m,1,s__SymbolicString)

Mid-level-ontology.kif 25041-25041 The number 1 argument of acronym is an instance of symbolic string
s__domain(s__conventionalShortName__m,2,s__Entity)

Mid-level-ontology.kif 25042-25042 The number 2 argument of acronym is an instance of entity
s__instance(s__conventionalShortName__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Mid-level-ontology.kif 25034-25034 acronym is an instance of binary predicate
s__subrelation(s__conventionalShortName__m,s__names__m)

Mid-level-ontology.kif 25043-25043 acronym is a subrelation of names

appearance as argument number 2
-------------------------


s__format(s__EnglishLanguage,s__conventionalShortName__m,'%2 is %n a conventional short name of %1')

domainEnglishFormat.kif 146-146
s__subrelation(s__abbreviation__m,s__conventionalShortName__m)

Mid-level-ontology.kif 25048-25048 abbreviation is a subrelation of acronym
s__termFormat(s__EnglishLanguage,s__conventionalShortName__m,'acronym')

Mid-level-ontology.kif 25054-25054 "acronym" is the printable form of acronym in english language
s__termFormat(s__EnglishLanguage,s__conventionalShortName__m,'conventional short name')

domainEnglishFormat.kif 3272-3272 "conventional short name" is the printable form of acronym in english language

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


s__conventionalShortName('Ac',s__Actinium)

Mid-level-ontology.kif 26543-26543 Actinium is a conventional short name of "Ac"
s__conventionalShortName('Ag',s__Silver)

Mid-level-ontology.kif 25822-25822 Silver is a conventional short name of "Ag"
s__conventionalShortName('Air Pollution',s__AirPollutionConvention)

Geography.kif 2988-2988 Air pollution convention is a conventional short name of "Air Pollution"
s__conventionalShortName('Al',s__Aluminum)

Mid-level-ontology.kif 25285-25285 Aluminum is a conventional short name of "Al"
s__conventionalShortName('Am',s__Americium)

Mid-level-ontology.kif 26643-26643 Americium is a conventional short name of "Am"
s__conventionalShortName('Antarctic Seals',s__AntarcticSealsConvention)

Geography.kif 3034-3034 Antarctic seals convention is a conventional short name of "Antarctic Seals"
s__conventionalShortName('Antarctic-Marine Living Resources',s__Antarctic_MarineLivingResourcesConvention)

Geography.kif 3028-3028 Antarctic- marine living resources convention is a conventional short name of "Antarctic-Marine Living Resources"
s__conventionalShortName('Ar',s__Argon)

Mid-level-ontology.kif 25363-25363 Argon is a conventional short name of "Ar"
s__conventionalShortName('As',s__Arsenic)

Mid-level-ontology.kif 25596-25596 Arsenic is a conventional short name of "As"
s__conventionalShortName('At',s__Astatine)

Mid-level-ontology.kif 26480-26480 Astatine is a conventional short name of "At"
s__conventionalShortName('Au',s__Gold)

Mid-level-ontology.kif 26375-26375 Gold is a conventional short name of "Au"
s__conventionalShortName('B',s__Boron)

Mid-level-ontology.kif 25149-25149 Boron is a conventional short name of "B"
s__conventionalShortName('Ba',s__Barium)

Mid-level-ontology.kif 25970-25970 Barium is a conventional short name of "Ba"
s__conventionalShortName('Basel Convention',s__HazardousWastesConvention)

Geography.kif 3095-3095 Hazardous wastes convention is a conventional short name of "Basel Convention"
s__conventionalShortName('Be',s__Beryllium)

Mid-level-ontology.kif 25134-25134 Beryllium is a conventional short name of "Be"
s__conventionalShortName('Bi',s__Bismuth)

Mid-level-ontology.kif 26447-26447 Bismuth is a conventional short name of "Bi"
s__conventionalShortName('Bk',s__Berkelium)

Mid-level-ontology.kif 26675-26675 Berkelium is a conventional short name of "Bk"
s__conventionalShortName('Border Patrol',s__USCustomsAndBorderProtection)

Government.kif 4736-4736 US customs and border protection is a conventional short name of "Border Patrol"
s__conventionalShortName('Br',s__Bromine)

Mid-level-ontology.kif 25625-25625 Bromine is a conventional short name of "Br"
s__conventionalShortName('C',s__Carbon)

Mid-level-ontology.kif 25167-25167 Carbon is a conventional short name of "C"
s__conventionalShortName('Ca',s__Calcium)

Mid-level-ontology.kif 25392-25392 Calcium is a conventional short name of "Ca"
s__conventionalShortName('Cd',s__Cadmium)

Mid-level-ontology.kif 25836-25836 Cadmium is a conventional short name of "Cd"
s__conventionalShortName('Ce',s__Cerium)

Mid-level-ontology.kif 26004-26004 Cerium is a conventional short name of "Ce"
s__conventionalShortName('Cf',s__Californium)

Mid-level-ontology.kif 26691-26691 Californium is a conventional short name of "Cf"
s__conventionalShortName('Cl',s__Chlorine)

Mid-level-ontology.kif 25347-25347 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners