conventionalShortName - Sigma Knowledge base Browser

appearance as argument number 1

(instance conventionalShortName BinaryPredicate)	Mid-level-ontology.kif 29827-29827	acronym is an instance of binary predicate
(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 29829-29832	acronym is an instance of binary predicate
(domain conventionalShortName 1 SymbolicString)	Mid-level-ontology.kif 29834-29834	The number 1 argument of acronym is an instance of symbolic string
(domain conventionalShortName 2 Entity)	Mid-level-ontology.kif 29835-29835	The number 2 argument of acronym is an instance of entity
(subrelation conventionalShortName names)	Mid-level-ontology.kif 29836-29836	acronym is a subrelation of names

appearance as argument number 2

(subrelation abbreviation conventionalShortName)	Mid-level-ontology.kif 29841-29841	abbreviation is a subrelation of acronym
(termFormat EnglishLanguage conventionalShortName "acronym")	Mid-level-ontology.kif 29865-29865	abbreviation is a subrelation of acronym
(format EnglishLanguage conventionalShortName "%2 is %n a conventional short name of %1")	domainEnglishFormat.kif 546-546	abbreviation is a subrelation of acronym
(format ChineseTraditionalLanguage conventionalShortName "%2 %n 是 %1 的 conventional 簡稱")	domainEnglishFormat.kif 547-547	abbreviation is a subrelation of acronym
(format ChineseLanguage conventionalShortName "%2 %n 是 %1 的 conventional 简称")	domainEnglishFormat.kif 548-548	abbreviation is a subrelation of acronym
(termFormat EnglishLanguage conventionalShortName "conventional short name")	domainEnglishFormat.kif 17106-17106	abbreviation is a subrelation of acronym
(termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱")	domainEnglishFormat.kif 17107-17107	abbreviation is a subrelation of acronym
(termFormat ChineseLanguage conventionalShortName "传统的短名称")	domainEnglishFormat.kif 17108-17108	abbreviation is a subrelation of acronym

appearance as argument number 0

(conventionalShortName "H" Hydrogen)	Mid-level-ontology.kif 29895-29895	Hydrogen is a conventional short name of "H"
(conventionalShortName "He" Helium)	Mid-level-ontology.kif 29911-29911	Helium is a conventional short name of "He"
(conventionalShortName "Li" Lithium)	Mid-level-ontology.kif 29927-29927	Lithium is a conventional short name of "Li"
(conventionalShortName "Be" Beryllium)	Mid-level-ontology.kif 29941-29941	Beryllium is a conventional short name of "Be"
(conventionalShortName "B" Boron)	Mid-level-ontology.kif 29957-29957	Boron is a conventional short name of "B"
(conventionalShortName "C" Carbon)	Mid-level-ontology.kif 29976-29976	Carbon is a conventional short name of "C"
(conventionalShortName "N" Nitrogen)	Mid-level-ontology.kif 29994-29994	Nitrogen is a conventional short name of "N"
(conventionalShortName "O" Oxygen)	Mid-level-ontology.kif 30012-30012	Oxygen is a conventional short name of "O"
(conventionalShortName "F" Fluorine)	Mid-level-ontology.kif 30032-30032	Fluorine is a conventional short name of "F"
(conventionalShortName "Ne" Neon)	Mid-level-ontology.kif 30049-30049	Neon is a conventional short name of "Ne"
(conventionalShortName "Na" Sodium)	Mid-level-ontology.kif 30067-30067	Sodium is a conventional short name of "Na"
(conventionalShortName "Mg" Magnesium)	Mid-level-ontology.kif 30083-30083	Magnesium is a conventional short name of "Mg"
(conventionalShortName "Al" Aluminum)	Mid-level-ontology.kif 30101-30101	Aluminum is a conventional short name of "Al"
(conventionalShortName "Si" Silicon)	Mid-level-ontology.kif 30119-30119	Silicon is a conventional short name of "Si"
(conventionalShortName "P" Phosphorus)	Mid-level-ontology.kif 30136-30136	Phosphorus is a conventional short name of "P"
(conventionalShortName "S" Sulphur)	Mid-level-ontology.kif 30151-30151	Sulphur is a conventional short name of "S"
(conventionalShortName "Cl" Chlorine)	Mid-level-ontology.kif 30167-30167	Chlorine is a conventional short name of "Cl"
(conventionalShortName "Ar" Argon)	Mid-level-ontology.kif 30184-30184	Argon is a conventional short name of "Ar"
(conventionalShortName "K" Potassium)	Mid-level-ontology.kif 30199-30199	Potassium is a conventional short name of "K"
(conventionalShortName "Ca" Calcium)	Mid-level-ontology.kif 30215-30215	Calcium is a conventional short name of "Ca"
(conventionalShortName "Sc" Scandium)	Mid-level-ontology.kif 30230-30230	Scandium is a conventional short name of "Sc"
(conventionalShortName "Ti" Titanium)	Mid-level-ontology.kif 30246-30246	Titanium is a conventional short name of "Ti"
(conventionalShortName "V" Vanadium)	Mid-level-ontology.kif 30262-30262	Vanadium is a conventional short name of "V"
(conventionalShortName "Cr" Chromium)	Mid-level-ontology.kif 30289-30289	Chromium is a conventional short name of "Cr"
(conventionalShortName "Mn" Manganese)	Mid-level-ontology.kif 30303-30303	Manganese is a conventional short name of "Mn"

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners