(=>     (instance ?ORGANISM Organism)     (exists (?BIRTH)         (and             (instance ?BIRTH Birth)             (experiencer ?BIRTH ?ORGANISM))))	Merge.kif 14361-14366
(=>     (instance ?ORGANISM Organism)     (exists (?PARENT)         (parent ?ORGANISM ?PARENT)))	Merge.kif 16396-16399

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