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
successorOrganization
Sigma KEE - successorOrganization
successorOrganization
appearance as argument number 1
(
documentation
successorOrganization
EnglishLanguage
"(
successorOrganization
?OLD ?NEW) means that the
Organization
?OLD was transformed or merged into, or otherwise succeeded by, the
Organization
?NEW.")
Government.kif 2573-2575
(
domain
successorOrganization
1
Organization
)
Government.kif 2577-2577
继任组织
的 1 数量 是
机构
的
instance
(
domain
successorOrganization
2
Organization
)
Government.kif 2578-2578
继任组织
的 2 数量 是
机构
的
instance
(
instance
successorOrganization
AsymmetricRelation
)
Government.kif 2572-2572
继任组织
是
非对称关系
的
instance
(
instance
successorOrganization
BinaryPredicate
)
Government.kif 2571-2571
继任组织
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
successorOrganization
"%2 %n 是 %1 的 successor 组织")
domainEnglishFormat.kif 2403-2403
(
format
ChineseTraditionalLanguage
successorOrganization
"%2 %n 是 %1 的 successor 組織")
domainEnglishFormat.kif 2402-2402
(
format
EnglishLanguage
successorOrganization
"%2 is %n a successor organization of %1")
domainEnglishFormat.kif 2401-2401
(
termFormat
ChineseLanguage
successorOrganization
"继任组织")
domainEnglishFormat.kif 55903-55903
(
termFormat
ChineseTraditionalLanguage
successorOrganization
"繼任組織")
domainEnglishFormat.kif 55902-55902
(
termFormat
EnglishLanguage
successorOrganization
"successor organization")
domainEnglishFormat.kif 55901-55901
antecedent
(=>
(
successorOrganization
?ORG1 ?ORG2)
(
earlier
(
WhenFn
?ORG1)
(
WhenFn
?ORG2)))
Government.kif 2580-2582
如果
机构
是
另一个 机构
的
successor
组织,
然后
那个 另外 机构
出现 的
time
比
那个 机构
出现 的
time
发生的
earlier
appearance as argument number 0
(
successorOrganization
CoordinatingCommitteeOnExportControls
WassenaarArrangement
)
Government.kif 2995-2995
Wassenaar安排
是
出口管制协调委员会
的
successor
组织
(
successorOrganization
EuropeanCommunity
EuropeanUnion
)
Government.kif 3260-3260
欧洲联盟
是
欧洲共同体
的
successor
组织
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