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 25470-25473
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 25475-25475
(domain conventionalShortName 2 Entity) Mid-level-ontology.kif 25476-25476
(instance conventionalShortName BinaryPredicate) Mid-level-ontology.kif 25468-25468
(subrelation conventionalShortName names) Mid-level-ontology.kif 25477-25477

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 25482-25482
(termFormat ChineseLanguage conventionalShortName "传统的短名称") domainEnglishFormat.kif 17035-17035
(termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱") domainEnglishFormat.kif 17034-17034
(termFormat EnglishLanguage conventionalShortName "acronym") Mid-level-ontology.kif 25488-25488
(termFormat EnglishLanguage conventionalShortName "conventional short name") domainEnglishFormat.kif 17033-17033

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


(conventionalShortName "Ac" Actinium) Mid-level-ontology.kif 26977-26977
(conventionalShortName "Ag" Silver) Mid-level-ontology.kif 26256-26256
(conventionalShortName "Air Pollution" AirPollutionConvention) Geography.kif 3001-3001
(conventionalShortName "Al" Aluminum) Mid-level-ontology.kif 25719-25719
(conventionalShortName "Am" Americium) Mid-level-ontology.kif 27077-27077
(conventionalShortName "Antarctic Seals" AntarcticSealsConvention) Geography.kif 3047-3047
(conventionalShortName "Antarctic-Marine Living Resources" Antarctic-MarineLivingResourcesConvention) Geography.kif 3041-3041
(conventionalShortName "Ar" Argon) Mid-level-ontology.kif 25797-25797
(conventionalShortName "As" Arsenic) Mid-level-ontology.kif 26030-26030
(conventionalShortName "At" Astatine) Mid-level-ontology.kif 26914-26914
(conventionalShortName "Au" Gold) Mid-level-ontology.kif 26809-26809
(conventionalShortName "B" Boron) Mid-level-ontology.kif 25583-25583
(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 26404-26404
(conventionalShortName "Basel Convention" HazardousWastesConvention) Geography.kif 3108-3108
(conventionalShortName "Be" Beryllium) Mid-level-ontology.kif 25568-25568
(conventionalShortName "Bi" Bismuth) Mid-level-ontology.kif 26881-26881
(conventionalShortName "Bk" Berkelium) Mid-level-ontology.kif 27109-27109
(conventionalShortName "Border Patrol" USCustomsAndBorderProtection) Government.kif 4731-4731
(conventionalShortName "Br" Bromine) Mid-level-ontology.kif 26059-26059
(conventionalShortName "C" Carbon) Mid-level-ontology.kif 25601-25601
(conventionalShortName "Ca" Calcium) Mid-level-ontology.kif 25826-25826
(conventionalShortName "Cd" Cadmium) Mid-level-ontology.kif 26270-26270
(conventionalShortName "Ce" Cerium) Mid-level-ontology.kif 26438-26438
(conventionalShortName "Cf" Californium) Mid-level-ontology.kif 27125-27125
(conventionalShortName "Cl" Chlorine) Mid-level-ontology.kif 25781-25781

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