| 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