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 数量 是
符号串
的
instance
(
domain
conventionalLongName
2
Entity
)
Mid-level-ontology.kif 27215-27215
传统的长名
的 2 数量 是
实体
的
instance
(
instance
conventionalLongName
BinaryPredicate
)
Mid-level-ontology.kif 27208-27208
传统的长名
是
二元谓语
的
instance
(
subrelation
conventionalLongName
fullName
)
Media.kif 3298-3298
传统的长名
是
fullName
的
subrelation
(
subrelation
conventionalLongName
names
)
Mid-level-ontology.kif 27217-27217
传统的长名
是
命名
的
subrelation
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
时间位置
是 1
day
的
instance
和
安第斯国际社会
是 "Andean Community of Nations" 的
conventional
全名 在 紧接
那个 时间位置
after
holdsDuring
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
and
(
instance
?TIME
(
YearFn
1996))
(
conventionalLongName
"Agency for the French-Speaking Community"
AgencyForTheFrenchSpeakingCommunity
)))
Government.kif 2765-2769
时间位置
是 1996
year
的
instance
和
法语社区的代理机构
是 "Agency for the French-Speaking Community" 的
conventional
全名 在 紧接
那个 时间位置
after
holdsDuring
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