earlier
(=>
(
successorOrganization
?ORG1 ?ORG2)
(
earlier
(
WhenFn
?ORG1)
(
WhenFn
?ORG2)))
Government.kif 2580-2582
Wenn
successorOrganization
Organization
and
** Organization
,
dann die
zeit
des Bestehens von
** Organization
geschieht frueh als die
zeit
des Bestehens von
** ** Organization
%n{nicht}
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