earlier
(=>
(
successorOrganization
?ORG1 ?ORG2)
(
earlier
(
WhenFn
?ORG1)
(
WhenFn
?ORG2)))
Government.kif 2580-2582
successorOrganization
Organizzazione
and
Organizzazione
il
tempo
di esistenza di
Organizzazione
accades
prima
di il
tempo
di esistenza di
Organizzazione
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