Question: faster please (a) Write the following sentences using the predicates mb(x)=x is 14 points metal building; tall (x)=x is a tall building; tower(x)=x is a

faster please (a) Write the following sentences using the predicates mb(x)=x

faster please

(a) Write the following sentences using the predicates mb(x)=x is 14 points metal building; tall (x)=x is a tall building; tower(x)=x is a tower; bridge (x) =x is a bridge; inFrance (x)=x is in France. Use Eiffel as a constant, it is the name of a famous tower in Paris. 1. Some metal buildings are tall. 2. Every metal building is a bridge or a tower. 3. The Eiffel tower is not a bridge. 4. France has many tall buildings. 5. Tall buildings are made of metal. 6. The Eiffel tower is tall. 7. There are no tall metal buildings outside of France. (b). Convert the knowledge base to CNF. (c). Prove using resolution with refutation that "The Eiffel tower is a metal building and is in France

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock blur-text-image

Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock

Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!

(a) Write the following sentences using the predicates mb(x) = x is a metal building; tall(x) = x is a tall building; tower(x) = x is a tower; bridge(x) = x is a bridge; inFrance(x) = x is in France....

Eigenvalues and eigenvectors are important in Civil Engineering. All structures, from buildings to bridges, have natural frequencies of vibration. If external forces, like wind or earthquakes,...

SHOW WORK ON ALL FREE RESPONSE. QUESTION 1 is equivalent to , where s 0 and t 0. True Fals e 2 points 1. QUESTION 2 A recipe for a strawberry smoothie requires 1 cup of sugar for every 2 cups of...

5.1 Angles Name: Syd Hendricks #1 Points possible: 1. Total attempts: 3 Convert the angle 224 to radians. Give the exact value. This means there should be a in your answer. 56/45 pi #2 Points...

can i get alittle help with this? its practice questions for my Final. 16 Financial Highlights International Business Machines Corporation and Subsidiary Companies ($ in millions except per share...

PLEASE HELP . . . X Read SA: Chapter 13: "Drafting, Revising, and Presenting Arguments" (SCREENSHOTS BELOW) . In a solid paragraph or two using complete sentences each, discuss two (2) important...

A discrete sequence {xn} can be converted into a continuous representation x(t) = ts X n= (t n ts) xn, where ts is the sampling period. (a) State two characteristic properties of Dirac's function. [2...

please help me on this 2 4th 9 weeks - Assignme X E 'The Ones Who Walk A X Copy of Rainah Russell: x (2) The Ones Who Walk X _ Perf. Task Angles of Ele X Angles of Elevation anc X + X C D A...

Can you please answer with full solutions? Without full solutions answer is not useable. I will be grateful to you for the help. Thank you so much in advance. Thanks a lot:) MATH1005 Introductory...

The following compound has two isomers: ClCH==CHCl One isomer has a dipole moment of 0 D, and the other has a dipole moment of 2.95 D. Propose structures for the two isomers that are consistent with...

How is the analysis in part C different if firms U and L are growing? Assume that both firms are growing at a rate of 7 percent and that the investment in net operating assets required supporting...

Assume that the foreign exchange market is wesk - form efficient. True or False: In this case, further technical forecasting will be useful in forecasting exchange rate movements. True False

last two options for the multiple choice are : performance management development A construction equipment manufacturer, Roswell Corporation, is focusing on becoming a leader in sustainability in...

Have you ever had a sense that a speaker was intentionally leaving some information out or that the information was somehow unreliable? How did it make you feel about the speaker? Did it change the...

10. Is your speech within the required time limits for the assignment?

After you have practiced in front of one or more friends, family members, or classmates, consider their feedback. Was anything about the feedback surprising? Did they note the strengths and...