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
conventionalLongName
Sigma KEE - conventionalLongName
conventionalLongName
appearance as argument number 1
(
documentation
conventionalLongName
EnglishLanguage
"(
conventionalLongName
?NAME ?THING) means that the string ?NAME is the long form of the name conventionally used for ?THING.")
Mid-level-ontology.kif 27210-27212
(
domain
conventionalLongName
1
SymbolicString
)
Mid-level-ontology.kif 27214-27214
域
傳統的長名
, 1 and
SymbolicString
(
domain
conventionalLongName
2
Entity
)
Mid-level-ontology.kif 27215-27215
域
傳統的長名
, 2 and
Entity
(
instance
conventionalLongName
BinaryPredicate
)
Mid-level-ontology.kif 27208-27208
例
傳統的長名
and
BinaryPredicate
(
subrelation
conventionalLongName
fullName
)
Media.kif 3298-3298
子關係
傳統的長名
and
fullName
(
subrelation
conventionalLongName
names
)
Mid-level-ontology.kif 27217-27217
子關係
傳統的長名
and
名
appearance as argument number 2
(
format
ChineseLanguage
conventionalLongName
"%2 %n 是 %1 的 conventional 全名")
domainEnglishFormat.kif 544-544
(
format
ChineseTraditionalLanguage
conventionalLongName
"%2 %n 是 %1 的 conventional 全名")
domainEnglishFormat.kif 543-543
(
format
EnglishLanguage
conventionalLongName
"%2 is %n a conventional long name of %1")
domainEnglishFormat.kif 542-542
(
termFormat
ChineseLanguage
conventionalLongName
"传统的长名")
domainEnglishFormat.kif 17088-17088
(
termFormat
ChineseTraditionalLanguage
conventionalLongName
"傳統的長名")
domainEnglishFormat.kif 17087-17087
(
termFormat
EnglishLanguage
conventionalLongName
"conventional long name")
domainEnglishFormat.kif 17086-17086
(
termFormat
EnglishLanguage
conventionalLongName
"official name")
Mid-level-ontology.kif 27216-27216
statement
(
holdsDuring
(
ImmediateFutureFn
?T)
(
and
(
instance
?T
(
DayFn
1
(
MonthFn
October
(
YearFn
1992))))
(
conventionalLongName
"Andean Community of Nations"
AndeanCommunityOfNations
)))
Government.kif 2791-2794
持有期間
眼前的未來
TimePosition
and
例
TimePosition
and
天
1 and
月
October
and
年
1992
安第斯國際社會
是 "Andean Community of Nations" 的
conventional
全名
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
and
(
instance
?TIME
(
YearFn
1996))
(
conventionalLongName
"Agency for the French-Speaking Community"
AgencyForTheFrenchSpeakingCommunity
)))
Government.kif 2765-2769
持有期間
眼前的未來
TimePosition
and
例
TimePosition
and
年
1996
法語社區的代理機構
是 "Agency for the French-Speaking Community" 的
conventional
全名
appearance as argument number 0
(
conventionalLongName
"ASEAN Regional Forum"
ASEANRegionalForum
)
Government.kif 2875-2875
東盟區域論壇
是 "ASEAN Regional Forum" 的
conventional
全名
(
conventionalLongName
"African Union"
OrganizationOfAfricanUnity
)
Government.kif 3733-3733
非洲統一組織
是 "African Union" 的
conventional
全名
(
conventionalLongName
"African, Caribbean, and Pacific Group of States"
AfricanCaribbeanAndPacificGroupOfStates
)
Government.kif 2748-2748
非洲加勒比和太平洋國家集團
是 "African, Caribbean, and Pacific Group of States" 的
conventional
全名
(
conventionalLongName
"Agency for the French-Speaking Community"
AgencyForTheFrenchSpeakingCommunity
)
Government.kif 2762-2762
法語社區的代理機構
是 "Agency for the French-Speaking Community" 的
conventional
全名
(
conventionalLongName
"Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean"
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
)
Government.kif 2774-2774
在拉丁美洲和加勒比地區禁止核武器的機構
是 "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" 的
conventional
全名
(
conventionalLongName
"Andean Community of Nations"
AndeanCommunityOfNations
)
Government.kif 2783-2783
安第斯國際社會
是 "Andean Community of Nations" 的
conventional
全名
(
conventionalLongName
"Antarctic Treaty Council"
AntarcticTreatyCouncil
)
Government.kif 2800-2800
南極條約理事會
是 "Antarctic Treaty Council" 的
conventional
全名
(
conventionalLongName
"Antarctic Treaty"
AntarcticTreaty
)
Geography.kif 3191-3191
南極條約
是 "Antarctic Treaty" 的
conventional
全名
(
conventionalLongName
"Arab Bank for Economic Development in Africa"
ArabBankForEconomicDevelopmentInAfrica
)
Government.kif 2808-2808
阿拉伯非洲經濟發展銀行
是 "Arab Bank for Economic Development in Africa" 的
conventional
全名
(
conventionalLongName
"Arab Cooperation Council"
ArabCooperationCouncil
)
Government.kif 2816-2816
阿拉伯合作理事會
是 "Arab Cooperation Council" 的
conventional
全名
(
conventionalLongName
"Arab Fund for Economic and Social Development"
ArabFundForEconomicAndSocialDevelopment
)
Government.kif 2822-2822
阿拉伯經濟和社會發展基金
是 "Arab Fund for Economic and Social Development" 的
conventional
全名
(
conventionalLongName
"Arab League"
ArabLeague
)
Government.kif 2829-2829
阿拉伯聯盟
是 "Arab League" 的
conventional
全名
(
conventionalLongName
"Arab Maghreb Union"
ArabMaghrebUnion
)
Government.kif 2840-2840
阿拉伯馬格里布聯盟
是 "Arab Maghreb Union" 的
conventional
全名
(
conventionalLongName
"Arab Monetary Fund"
ArabMonetaryFund
)
Government.kif 2849-2849
阿拉伯貨幣基金
是 "Arab Monetary Fund" 的
conventional
全名
(
conventionalLongName
"Asia-Pacific Economic Cooperation"
AsiaPacificEconomicCooperation
)
Government.kif 2855-2855
亞太經濟合作
是 "Asia-Pacific Economic Cooperation" 的
conventional
全名
(
conventionalLongName
"Asian Development Bank"
AsianDevelopmentBank
)
Government.kif 2861-2861
亞洲開發銀行
是 "Asian Development Bank" 的
conventional
全名
(
conventionalLongName
"Association of Southeast Asian Nations"
AssociationOfSoutheastAsianNations
)
Government.kif 2867-2867
東南亞國家聯盟
是 "Association of Southeast Asian Nations" 的
conventional
全名
(
conventionalLongName
"Australia Group"
AustraliaGroup
)
Government.kif 2882-2882
澳大利亞集團
是 "Australia Group" 的
conventional
全名
(
conventionalLongName
"Australia-New Zealand-United States Security Treaty"
AustraliaNewZealandUnitedStatesSecurityTreaty
)
Government.kif 2887-2887
澳大利亞新西蘭美國安全條約
是 "Australia-New Zealand-United States Security Treaty" 的
conventional
全名
(
conventionalLongName
"Bank for International Settlements"
BankForInternationalSettlements
)
Government.kif 2893-2893
國際結算銀行
是 "Bank for International Settlements" 的
conventional
全名
(
conventionalLongName
"Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal"
HazardousWastesConvention
)
Geography.kif 3246-3247
危險廢物公約
是 "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" 的
conventional
全名
(
conventionalLongName
"Benelux Economic Union"
BeneluxEconomicUnion
)
Government.kif 2899-2899
比荷盧經濟聯盟
是 "Benelux Economic Union" 的
conventional
全名
(
conventionalLongName
"Big Seven"
BigSeven
)
Government.kif 2908-2908
大七
是 "Big Seven" 的
conventional
全名
(
conventionalLongName
"Big Six"
BigSix
)
Government.kif 2913-2913
大六
是 "Big Six" 的
conventional
全名
(
conventionalLongName
"Black Sea Economic Cooperation Zone"
BlackSeaEconomicCooperationZone
)
Government.kif 2919-2919
黑海經濟合作區
是 "Black Sea Economic Cooperation Zone" 的
conventional
全名
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