Declarative Rule

• Name: Membership via Value Link
• Description in English:

  This proof step is a special case of the Membership Rule, wherein membership in a Value Collection is inferred using a Value Link. For more information on Value Links, see the Value Link Creation rule description.

• Example in English:

  Given that ?x=SEAFOOD is a member of the Value Collection (subClassOf SHELLFISH ?x), and given a Value Link represented by

     (<= (subClassOf CRAB ?y) 
         (subClassOf SHELLFISH ?y))
  

  derive that ?z=SEAFOOD is also a member of the Value Collection represented by (subClassOf CRAB ?z).

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

(Registration details...)

Copyright 2009 Inference Web group.
All Rights Reserved.