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
The number 1 argument of
successor organization
is an
instance
of
organization
(
domain
successorOrganization
2
Organization
)
Government.kif 2578-2578
The number 2 argument of
successor organization
is an
instance
of
organization
(
instance
successorOrganization
AsymmetricRelation
)
Government.kif 2572-2572
successor organization
is an
instance
of
asymmetric relation
(
instance
successorOrganization
BinaryPredicate
)
Government.kif 2571-2571
successor organization
is an
instance
of
binary predicate
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
If
an organization
is a
successor
organization of
another organization
,
then the
time
of existence of
the other organization
happens
earlier
than the
time
of existence of
the organization
appearance as argument number 0
(
successorOrganization
CoordinatingCommitteeOnExportControls
WassenaarArrangement
)
Government.kif 2995-2995
Wassenaar arrangement
is a
successor
organization of
coordinating committee on export controls
(
successorOrganization
EuropeanCommunity
EuropeanUnion
)
Government.kif 3260-3260
European union
is a
successor
organization of
european community
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