Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 27340-27342
(
domain
abbreviation
1
SymbolicString
)
Mid-level-ontology.kif 27336-27336
The number 1 argument of
abbreviation
is an
instance
of
symbolic string
(
domain
abbreviation
2
Entity
)
Mid-level-ontology.kif 27337-27337
The number 2 argument of
abbreviation
is an
instance
of
entity
(
instance
abbreviation
BinaryPredicate
)
Mid-level-ontology.kif 27335-27335
abbreviation
is an
instance
of
binary predicate
(
subrelation
abbreviation
conventionalShortName
)
Mid-level-ontology.kif 27338-27338
abbreviation
is a
subrelation
of
conventional short name
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
)
Media.kif 3034-3034
acronym
is a
subrelation
of
abbreviation
(
subrelation
currencyCode
abbreviation
)
Economy.kif 3632-3632
currency code
is a
subrelation
of
abbreviation
(
termFormat
ChineseLanguage
abbreviation
"缩写")
domainEnglishFormat.kif 5051-5051
(
termFormat
ChineseTraditionalLanguage
abbreviation
"縮寫")
domainEnglishFormat.kif 5050-5050
(
termFormat
EnglishLanguage
abbreviation
"abbreviation")
domainEnglishFormat.kif 5049-5049
consequent
(=>
(
and
(
abbreviatedDisplayTitle
?STRING ?CBP-TYPE ?LANGUAGE)
(
instance
?X ?CBP-TYPE))
(
abbreviation
?STRING ?X))
Media.kif 3165-3169
If
a symbolic string
is the
short
title
of
an entity
-TYPE in
a language
and
another entity
is an
instance
of
the entity
-TYPE,
then
the symbolic string
is an
abbreviation
of
the other entity
appearance as argument number 0
(
abbreviation
"ABEDA"
ArabBankForEconomicDevelopmentInAfrica
)
Government.kif 2809-2809
"ABEDA" is an
abbreviation
of
arab bank for economic development in africa
(
abbreviation
"ACC"
ArabCooperationCouncil
)
Government.kif 2817-2817
"ACC" is an
abbreviation
of
arab cooperation council
(
abbreviation
"ACCT"
AgencyForTheFrenchSpeakingCommunity
)
Government.kif 2763-2763
"ACCT" is an
abbreviation
of
agency for the french speaking community
(
abbreviation
"ACP Group"
AfricanCaribbeanAndPacificGroupOfStates
)
Government.kif 2749-2749
"ACP Group" is an
abbreviation
of
african caribbean and pacific group of states
(
abbreviation
"AFESD"
ArabFundForEconomicAndSocialDevelopment
)
Government.kif 2823-2823
"AFESD" is an
abbreviation
of
arab fund for economic and social development
(
abbreviation
"AL"
ArabLeague
)
Government.kif 2831-2831
"AL" is an
abbreviation
of
arab league
(
abbreviation
"AMF"
ArabMonetaryFund
)
Government.kif 2850-2850
"AMF" is an
abbreviation
of
arab monetary fund
(
abbreviation
"AMU"
ArabMaghrebUnion
)
Government.kif 2841-2841
"AMU" is an
abbreviation
of
arab maghreb union
(
abbreviation
"ANZUS"
AustraliaNewZealandUnitedStatesSecurityTreaty
)
Government.kif 2888-2888
"ANZUS" is an
abbreviation
of
australia new zealand united states security treaty
(
abbreviation
"APEC"
AsiaPacificEconomicCooperation
)
Government.kif 2856-2856
"APEC" is an
abbreviation
of
asia pacific economic cooperation
(
abbreviation
"ARF"
ASEANRegionalForum
)
Government.kif 2876-2876
"ARF" is an
abbreviation
of
ASEAN regional forum
(
abbreviation
"ASEAN"
AssociationOfSoutheastAsianNations
)
Government.kif 2868-2868
"ASEAN" is an
abbreviation
of
association of southeast asian nations
(
abbreviation
"AfDB"
AfricanDevelopmentBank
)
Government.kif 2754-2754
"AfDB" is an
abbreviation
of
african development bank
(
abbreviation
"AsDB"
AsianDevelopmentBank
)
Government.kif 2862-2862
"AsDB" is an
abbreviation
of
asian development bank
(
abbreviation
"BCIE"
CentralAmericanBankForEconomicIntegration
)
Government.kif 2948-2948
"BCIE" is an
abbreviation
of
central american bank for economic integration
(
abbreviation
"BDEAC"
CentralAfricanStatesDevelopmentBank
)
Government.kif 2941-2941
"BDEAC" is an
abbreviation
of
central african states development bank
(
abbreviation
"BIS"
BankForInternationalSettlements
)
Government.kif 2894-2894
"BIS" is an
abbreviation
of
bank for international settlements
(
abbreviation
"BSEC"
BlackSeaEconomicCooperationZone
)
Government.kif 2920-2920
"BSEC" is an
abbreviation
of
black sea economic cooperation zone
(
abbreviation
"BVI"
BritishVirginIslands
)
CountriesAndRegions.kif 4091-4091
"BVI" is an
abbreviation
of
british virgin islands
(
abbreviation
"Benelux"
BeneluxEconomicUnion
)
Government.kif 2900-2900
"Benelux" is an
abbreviation
of
benelux economic union
(
abbreviation
"C"
CommonwealthOfNations
)
Government.kif 2979-2979
"C" is an
abbreviation
of
commonwealth of nations
(
abbreviation
"CACM"
CentralAmericanCommonMarket
)
Government.kif 2956-2956
"CACM" is an
abbreviation
of
central american common market
(
abbreviation
"CAEU"
CouncilOfArabEconomicUnity
)
Government.kif 3013-3013
"CAEU" is an
abbreviation
of
council of arab economic unity
(
abbreviation
"CAN"
AndeanCommunityOfNations
)
Government.kif 2784-2784
"CAN" is an
abbreviation
of
andean community of nations
(
abbreviation
"CBSS"
CouncilOfTheBalticSeaStates
)
Government.kif 3034-3034
"CBSS" is an
abbreviation
of
council of the baltic sea states
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
