Fikes

• Reasoning in Frame-based Knowledge