How do I state the sentences for KB ∧ ¬ α when I already have KB.
∀xTourist(x) => Person(x): Every tourist is a person.
∀xTourist(x) ∧ visits(x, Malaysia) => walksCanopy(x): Every tourist who visits Malaysia walks the canopy.
∀xPerson(x) ∧ has(x, Acrophobia) => fallSick(x, walksCanopy): Every person who has acrophobia falls sick when they walk the canopy.
∃xPerson(x) => has(x, Acrophobia): There are some people who have acrophobia.
Friend(Abu, Bill): Abu and Bill are friends.
Person(Abu) => livesIn(Abu, Malaysia): Abu is a person who lives in Malaysia.
Person(Bill) => livesIn(Bill, Canada): Bill is a person who lives in Canada.
∀xFriend(x) ∧ Friend(Bill, x) ∧ visitsCountry(Bill, x): Bill visits the countries of all his friends.
has(Bill, Acrophobia): Bill has acrophobia.
Prove that "Bill will fall sick".
I already looked at my lecture notes and even looked it up online but I can't seem to understand what KB ∧ ¬ α is.