Across
- 2. Each model contains no more domain elements than those named by the constant symbols
- 3. Someone who investigates a particular domain and creates a formal representation of the objects and relations in the domain
- 6. The possible states of knowledge that it allows with respect to each fact
- 8. Understanding of the world is strongly influenced by the language we speak
- 10. an extension to or abbreviation of the standard syntax that does not change the semantics
- 11. It is the logical expression that refers to an object
Down
- 1. facts hold at particular times and that those times are ordered
- 4. used for signifying that two terms refer to the same object
- 5. It is formed from a predicate symbol optionally followed by a parenthesized list of terms
- 7. It is just some part of the world about which we wish to express some knowledge
- 9. A term with no variable