Declarative Rule

• Name: Frame Meta Information
• Description in English:

  Given a triple (property subject value), a Frame Meta Information proof step derives information for use by JTP's frame system, including that subject is a frame, property is a slot, and the frame subject has property as one of its slots.

• Example in English:

  Given the literal (subClassOf CRAB SHELLFISH) derive the literal (:has-slot CRAB subClassOf)

• Source(s):
  • Name: Knowledge Systems Laboratory, Stanford University
  • URL: http://www.KSL.Stanford.EDU

(Registration details...)

Copyright 2009 Inference Web group.
All Rights Reserved.