A knowledge base contains just one sentence, ∃x AsHighAs (x, Everest). Consider the following two sentences obtained after applying existential instantiation.
(a) AsHighAs (Everest, Everest)
(b) AsHighAs (Kilimanjaro, Everest)
Which of the following is correct with respect to the above sentences ?
(A) Both sentence (a) and sentence (b) are sound conclusions.
(B) Both sentence (a) and sentence (b) are unsound conclusions.
(C) Sentence (a) is sound but sentence (b) is unsound.
(D) Sentence (a) is unsound but sentence (b) is sound.
anser C seems to be correct
everest as high as everest
kilimanjaro as hifh as everest