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

Government.kif 2580-2582

If an organization is a successor organization of another organization, then the time of existence of the other organization happens earlier than the time of existence of the organization

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