successorOrganization - Sigma Knowledge base Browser

appearance as argument number 1

(instance successorOrganization BinaryPredicate)	Government.kif 2563-2563	successor organization is an instance of binary predicate
(instance successorOrganization AsymmetricRelation)	Government.kif 2564-2564	successor organization is an instance of asymmetric relation
(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 2565-2567	successor organization is an instance of asymmetric relation
(domain successorOrganization 1 Organization)	Government.kif 2569-2569	The number 1 argument of successor organization is an instance of organization
(domain successorOrganization 2 Organization)	Government.kif 2570-2570	The number 2 argument of successor organization is an instance of organization

appearance as argument number 2

(format EnglishLanguage successorOrganization "%2 is %n a successor organization of %1")	domainEnglishFormat.kif 2405-2405
(format ChineseTraditionalLanguage successorOrganization "%2 %n 是 %1 的 successor 組織")	domainEnglishFormat.kif 2406-2406
(format ChineseLanguage successorOrganization "%2 %n 是 %1 的 successor 组织")	domainEnglishFormat.kif 2407-2407
(termFormat EnglishLanguage successorOrganization "successor organization")	domainEnglishFormat.kif 55898-55898
(termFormat ChineseTraditionalLanguage successorOrganization "繼任組織")	domainEnglishFormat.kif 55899-55899
(termFormat ChineseLanguage successorOrganization "继任组织")	domainEnglishFormat.kif 55900-55900

antecedent

(=>
    (successorOrganization ?ORG1 ?ORG2)
    (earlier
        (WhenFn ?ORG1)
        (WhenFn ?ORG2)))

If X is a successor organization of Y, then the time of existence of Y happens earlier than the time of existence of X

appearance as argument number 0

(successorOrganization CoordinatingCommitteeOnExportControls WassenaarArrangement)	Government.kif 2987-2987	Wassenaar arrangement is a successor organization of coordinating committee on export controls
(successorOrganization EuropeanCommunity EuropeanUnion)	Government.kif 3252-3252	European union is a successor organization of european community