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 25912-25915
s__domain(s__conventionalShortName__m,n__1,s__SymbolicString)

Mid-level-ontology.kif 25917-25917 The number 1 argument of conventional short name is an instance of symbolic string
s__domain(s__conventionalShortName__m,n__2,s__Entity)

Mid-level-ontology.kif 25918-25918 The number 2 argument of conventional short name is an instance of entity
s__instance(s__conventionalShortName__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Mid-level-ontology.kif 25910-25910 conventional short name is an instance of binary predicate
s__subrelation(s__conventionalShortName__m,s__names__m)

Mid-level-ontology.kif 25919-25919 conventional short name is a subrelation of names

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


s__format(s__ChineseLanguage,s__conventionalShortName__m,'"%2 %n 是 %1 的 conventional 简称"')

domainEnglishFormat.kif 548-548
s__format(s__ChineseTraditionalLanguage,s__conventionalShortName__m,'"%2 %n 是 %1 的 conventional 簡稱"')

domainEnglishFormat.kif 547-547
s__format(s__EnglishLanguage,s__conventionalShortName__m,'"%2 is %n a conventional short name of %1"')

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

Mid-level-ontology.kif 25924-25924 abbreviation is a subrelation of conventional short name
s__termFormat(s__ChineseLanguage,s__conventionalShortName__m,'"传统的短名称"')

domainEnglishFormat.kif 17097-17097
s__termFormat(s__ChineseTraditionalLanguage,s__conventionalShortName__m,'"傳統的短名稱"')

domainEnglishFormat.kif 17096-17096
s__termFormat(s__EnglishLanguage,s__conventionalShortName__m,'"acronym"')

Mid-level-ontology.kif 25930-25930
s__termFormat(s__EnglishLanguage,s__conventionalShortName__m,'"conventional short name"')

domainEnglishFormat.kif 17095-17095

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


s__conventionalShortName('"Ac"',s__Actinium)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Mid-level-ontology.kif 26232-26232 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