Knowledge Systems Laboratory, Stanford
University
18
Universally
Quantified Sentences
u(forall <individual variable> <sentence>)
E.g, (forall ?b
(not (On ?b ?b)))
8TIV((forall ?var sent)) =
>true when TIV’(sent) = true
for all versions V’ of V with
respect to variable ?var
>false otherwise
u(forall (<individual variable>*) <sentence>)
E.g., (forall
(?b1 ?b2) (=> (On ?b1 ?b2) (Above ?b1 ?b2)))
8TIV ((forall (?var1 … ?varn) sent)) =
>true when TIV’(sent) = true
for all versions V’ of V with
respect to ?var1 … ?varn
>false otherwise