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 2537-2539
(
domain
successorOrganization
1
Organization
)
Government.kif 2541-2541
(
domain
successorOrganization
2
Organization
)
Government.kif 2542-2542
(
instance
successorOrganization
AsymmetricRelation
)
Government.kif 2536-2536
(
instance
successorOrganization
BinaryPredicate
)
Government.kif 2535-2535
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 55905-55905
(
termFormat
ChineseTraditionalLanguage
successorOrganization
"繼任組織")
domainEnglishFormat.kif 55904-55904
(
termFormat
EnglishLanguage
successorOrganization
"successor organization")
domainEnglishFormat.kif 55903-55903
antecedent
(=>
(
successorOrganization
?ORG1 ?ORG2)
(
earlier
(
WhenFn
?ORG1)
(
WhenFn
?ORG2)))
Government.kif 2544-2546
appearance as argument number 0
(
successorOrganization
CoordinatingCommitteeOnExportControls
WassenaarArrangement
)
Government.kif 2959-2959
(
successorOrganization
EuropeanCommunity
EuropeanUnion
)
Government.kif 3224-3224
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