Next:
An example
Up:
Logic Knowledge Representation
Previous:
Logic Knowledge Representation
Predicate logic
An example
Isa
and
instance
relationships