Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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