antecedent

(=>     (instance ?C Crater)     (exists (?HOST ?EVENT ?METEOR ?BOMB)         (and             (hole ?C ?HOST)             (superficialPart ?SURF                 (HoleHostFn ?C))             (or                 (and                     (instance ?EVENT Impacting)                     (instrument ?EVENT ?METEOR)                     (instance ?METEOR Meteorite))                 (and                     (instance ?EVENT Explosion)                     (instrument ?EVENT ?BOMB)                     (instance ?BOMB Bomb))                 (instance ?EVENT VolcanicEruption))             (result ?EVENT ?C))))

Merge.kif 1059-1075

If X is an instance of crater, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that X is a hole in Y (3) U is a superficial part of the host of the hole X (4) Z is an instance of impacting (5) W is an instrument for Z (6) W is an instance of meteorite or Z is an instance of explosion (7) V is an instrument for Z (8) V is an instance of bomb or Z is an instance of volcanic eruption (9) X is a result of Z

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners