entails (entails)

The operator of logical entailment. (entails formula1 formula2) means that formula2 can be derived from formula1 by means of the proof theory of SUO-KIF.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

OperatoreLogico

entails

Coordinate term(s)

<=> => and exists forall not or

Type restrictions

entails(Formula, Formula)

Related WordNet synsets

proof: (logic or mathematics) a formal series of statements showing that if one thing is true something else necessarily follows from it
entail, imply, mean: have as a logical consequence; "The water shortage means that we have to stop taking long showers"
follow: come as a logical consequence; follow logically; "It follows that your assertion is false"

See more related synsets on a separate page.

Axioms (2)

Se situation1 vales durante time e situation1 implicas situation2, allora situation2 vales durante time.

(=>
      (and
            (holdsDuring ?TIME ?SITUATION1)
            (entails ?SITUATION1 ?SITUATION2))
      (holdsDuring ?TIME ?SITUATION2))

Se l'affermazione formula1 ha il modello di forza di prop e formula1 implicas formula2, allora l'affermazione formula2 ha il modello di forza di prop.

(=>
      (and
            (modalAttribute ?FORMULA1 ?PROP)
            (entails ?FORMULA1 ?FORMULA2))
      (modalAttribute ?FORMULA2 ?PROP))