Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
abbreviation
Sigma KEE - abbreviation
abbreviation
appearance as argument number 1
(
documentation
abbreviation
EnglishLanguage
"(
abbreviation
?STRING ?THING) means that ?STRING is an abbreviation used to refer to ?THING. Abbreviations include acronyms and other abbreviated forms.")
Mid-level-ontology.kif 27268-27270
(
domain
abbreviation
1
SymbolicString
)
Mid-level-ontology.kif 27264-27264
Le nombre 1 argument de
abbreviation
est une
instance
de
cha�ne sympbolique
(
domain
abbreviation
2
Entity
)
Mid-level-ontology.kif 27265-27265
Le nombre 2 argument de
abbreviation
est une
instance
de
entit�
(
instance
abbreviation
BinaryPredicate
)
Mid-level-ontology.kif 27263-27263
abbreviation
est une
instance
de
pr�dicat binaire
(
subrelation
abbreviation
conventionalShortName
)
Mid-level-ontology.kif 27266-27266
abbreviation
est une
sous
-relation de
conventionalShortName
appearance as argument number 2
(
format
ChineseLanguage
abbreviation
"%2 %n 是 %1 的简称")
domainEnglishFormat.kif 16-16
(
format
ChineseTraditionalLanguage
abbreviation
"%2 %n 是 %1 的簡稱")
domainEnglishFormat.kif 15-15
(
format
EnglishLanguage
abbreviation
"%1 is %n an
abbreviation
of %2")
domainEnglishFormat.kif 14-14
(
subrelation
acronym
abbreviation
)
Mid-level-ontology.kif 27277-27277
acronym
est une
sous
-relation de
abbreviation
(
subrelation
currencyCode
abbreviation
)
Economy.kif 3616-3616
currencyCode
est une
sous
-relation de
abbreviation
(
termFormat
ChineseLanguage
abbreviation
"缩写")
domainEnglishFormat.kif 5046-5046
(
termFormat
ChineseTraditionalLanguage
abbreviation
"縮寫")
domainEnglishFormat.kif 5045-5045
(
termFormat
EnglishLanguage
abbreviation
"abbreviation")
domainEnglishFormat.kif 5044-5044
consequent
(=>
(
and
(
abbreviatedDisplayTitle
?STRING ?CBP-TYPE ?LANGUAGE)
(
instance
?X ?CBP-TYPE))
(
abbreviation
?STRING ?X))
Media.kif 3147-3151
abbreviatedDisplayTitle
cha�ne sympbolique
,
entit�
-TYPE and
langage
entit�
est une
instance
de
entit�
-TYPE
abbreviation
cha�ne sympbolique
and
entit�
appearance as argument number 0
(
abbreviation
"ABEDA"
ArabBankForEconomicDevelopmentInAfrica
)
Government.kif 2773-2773
abbreviation
"ABEDA" and
ArabBankForEconomicDevelopmentInAfrica
(
abbreviation
"ACC"
ArabCooperationCouncil
)
Government.kif 2781-2781
abbreviation
"ACC" and
ArabCooperationCouncil
(
abbreviation
"ACCT"
AgencyForTheFrenchSpeakingCommunity
)
Government.kif 2727-2727
abbreviation
"ACCT" and
AgencyForTheFrenchSpeakingCommunity
(
abbreviation
"ACP Group"
AfricanCaribbeanAndPacificGroupOfStates
)
Government.kif 2713-2713
abbreviation
"ACP Group" and
AfricanCaribbeanAndPacificGroupOfStates
(
abbreviation
"AFESD"
ArabFundForEconomicAndSocialDevelopment
)
Government.kif 2787-2787
abbreviation
"AFESD" and
ArabFundForEconomicAndSocialDevelopment
(
abbreviation
"AL"
ArabLeague
)
Government.kif 2795-2795
abbreviation
"AL" and
ArabLeague
(
abbreviation
"AMF"
ArabMonetaryFund
)
Government.kif 2814-2814
abbreviation
"AMF" and
ArabMonetaryFund
(
abbreviation
"AMU"
ArabMaghrebUnion
)
Government.kif 2805-2805
abbreviation
"AMU" and
ArabMaghrebUnion
(
abbreviation
"ANZUS"
AustraliaNewZealandUnitedStatesSecurityTreaty
)
Government.kif 2852-2852
abbreviation
"ANZUS" and
AustraliaNewZealandUnitedStatesSecurityTreaty
(
abbreviation
"APEC"
AsiaPacificEconomicCooperation
)
Government.kif 2820-2820
abbreviation
"APEC" and
AsiaPacificEconomicCooperation
(
abbreviation
"ARF"
ASEANRegionalForum
)
Government.kif 2840-2840
abbreviation
"ARF" and
ASEANRegionalForum
(
abbreviation
"ASEAN"
AssociationOfSoutheastAsianNations
)
Government.kif 2832-2832
abbreviation
"ASEAN" and
AssociationOfSoutheastAsianNations
(
abbreviation
"AfDB"
AfricanDevelopmentBank
)
Government.kif 2718-2718
abbreviation
"AfDB" and
AfricanDevelopmentBank
(
abbreviation
"AsDB"
AsianDevelopmentBank
)
Government.kif 2826-2826
abbreviation
"AsDB" and
AsianDevelopmentBank
(
abbreviation
"BCIE"
CentralAmericanBankForEconomicIntegration
)
Government.kif 2912-2912
abbreviation
"BCIE" and
CentralAmericanBankForEconomicIntegration
(
abbreviation
"BDEAC"
CentralAfricanStatesDevelopmentBank
)
Government.kif 2905-2905
abbreviation
"BDEAC" and
CentralAfricanStatesDevelopmentBank
(
abbreviation
"BIS"
BankForInternationalSettlements
)
Government.kif 2858-2858
abbreviation
"BIS" and
BankForInternationalSettlements
(
abbreviation
"BSEC"
BlackSeaEconomicCooperationZone
)
Government.kif 2884-2884
abbreviation
"BSEC" and
BlackSeaEconomicCooperationZone
(
abbreviation
"BVI"
BritishVirginIslands
)
CountriesAndRegions.kif 4091-4091
abbreviation
"BVI" and
BritishVirginIslands
(
abbreviation
"Benelux"
BeneluxEconomicUnion
)
Government.kif 2864-2864
abbreviation
"Benelux" and
BeneluxEconomicUnion
(
abbreviation
"C"
CommonwealthOfNations
)
Government.kif 2943-2943
abbreviation
"C" and
CommonwealthOfNations
(
abbreviation
"CACM"
CentralAmericanCommonMarket
)
Government.kif 2920-2920
abbreviation
"CACM" and
CentralAmericanCommonMarket
(
abbreviation
"CAEU"
CouncilOfArabEconomicUnity
)
Government.kif 2977-2977
abbreviation
"CAEU" and
CouncilOfArabEconomicUnity
(
abbreviation
"CAN"
AndeanCommunityOfNations
)
Government.kif 2748-2748
abbreviation
"CAN" and
AndeanCommunityOfNations
(
abbreviation
"CBSS"
CouncilOfTheBalticSeaStates
)
Government.kif 2998-2998
abbreviation
"CBSS" and
CouncilOfTheBalticSeaStates
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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