Solutions to Homework #9, Problems 23-29
18. b or d is a dodecahedron if either a or c is a tetrahedron (Tet(a) ( Tet(c)) ( (Dodec(b)( Dodec(d) 19. d is a dodecahedron just in case b is a cube. Dodec(d) ( Cube(b) 20. b is a dodecahedron just in case c is. Dodec(b) ( Dodec(c) Problem 9. Using the symbols introduced in Table 1, page 23, translate the following sentences into first-order ... ................
................
To fulfill the demand for quickly locating and searching documents.
It is intelligent file search solution for home and business.