Next:
An example
Up:
Logic Knowledge Representation
Previous:
Logic Knowledge Representation
Predicate logic
An example
Isa
and
instance
relationships
dave@cs.cf.ac.uk