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

Formal Language: 



KB Term:  Term intersection
English Word: 

  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

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