A short explanation of the approach and interpretation to neighborhood semantics for reasoning with possible worlds in SUMO.
Пікірлер