Across
- 2. A ____ is a logical expression that refers to an object.
- 4. ________ symbols represent objects.
- 6. Sentences are added to knowledge base using ____.
- 10. _________ symbols represent relations.
- 11. ______ sentences state facts which is formed from a predicate symbol optionally followed by a parenthesized list of terms.
- 13. Each model includes an ______________ that specifies exactly which objects, relations and functions are referred to by the constant, predicate and function symbols.
- 14. A relation is a set of ______ of objects that are related.
- 16. Questions asked with ASK are called _____.
Down
- 1. A term with no variables is called a ______ term.
- 3. One of the standard quantifier.
- 5. The general process of knowledge-base construction is known as _________ engineering.
- 7. ________ symbol is used to signify that two terms refer to the same object.
- 8. By using ___________ quantifier, one can make statements about some object in the universe without naming it.
- 9. The _________ defines the rules for determining the truth of a sentence with respect to a particular model.
- 12. The ______ of a model is the set of objects it contains.
- 15. The only type of gate which has one input terminal.