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 2537-2539
(domain successorOrganization 1 Organization) Government.kif 2541-2541 O argumento numero 1 de successorOrganization e' uma instancia de Organizacao
(domain successorOrganization 2 Organization) Government.kif 2542-2542 O argumento numero 2 de successorOrganization e' uma instancia de Organizacao
(instance successorOrganization AsymmetricRelation) Government.kif 2536-2536 successorOrganization e' uma instancia de Relacao Assimetrica
(instance successorOrganization BinaryPredicate) Government.kif 2535-2535 successorOrganization e' uma instancia de Predicado Binario

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

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