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.
SUMO / STRUCTURAL-ONTOLOGY
Related WordNet synsets
See more related synsets on a separate page.
- (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"
- come as a logical consequence; follow logically; "It follows that your assertion is false"
Se situation1 vales durante time e situation1 implicas situation2, allora situation2 vales durante time.
(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.
(modalAttribute ?FORMULA1 ?PROP)
(entails ?FORMULA1 ?FORMULA2))
(modalAttribute ?FORMULA2 ?PROP))