Some Relations Between Predicate Calculus and Semantic Net Representations of Discourse.

Robert F. Simmons Bertram C. Bruce

Published in: IJCAI (1971)

Keyphrases

semantic net
predicate calculus
semantic network
predicate logic
semantic relations
formal model
first order logic
theorem proving
domain knowledge
wordnet
theorem prover
machine learning
database systems
relational databases
data model
general purpose