;;;; -*-  Mode: LISP; Syntax: Common-Lisp; Base: 10                          -*-
;;;; ---------------------------------------------------------------------------
;;;; File name: highvaluefn.lsp
;;;;    System: 
;;;;    Author: Praveen Paritosh
;;;;   Created: February 11, 2004 00:00:47
;;;;   Purpose: 
;;;; ---------------------------------------------------------------------------
;;;;  Modified: Wednesday, February 11, 2004 at 01:33:09 by paritosh
;;;; ---------------------------------------------------------------------------

(in-package :common-lisp-user)
;; Defining HighValueContextualizedFn
;; To say Algeria is large in terms of area, we would say
;; (isa Algeria (HighValueContextualizedFn Area ContinentOfAfrica))
;;
;; arity 2
;; resultIsa Collection
;; isa Function-Denotational

(defparameter *contextualized-value-facts*
    '(
      (isa HighValueContextualizedFn Reifiable-Function)
      (isa HighValueContextualizedFn CollectionDenotingFunction)
      (resultIsa HighValueContextualizedFn Collection)
      (arg1isa HighValueContextualizedFn Predicate)
      (arg2isa HighValueContextualizedFn Individual)
      (arity HighValueContextualizedFn 2)


      (isa LowValueContextualizedFn Reifiable-Function)
      (isa LowValueContextualizedFn CollectionDenotingFunction)
      (resultIsa LowValueContextualizedFn Collection)
      (arg1isa LowValueContextualizedFn Predicate)
      (arg2isa LowValueContextualizedFn Individual)
      (arity LowValueContextualizedFn 2)
      
      (isa MediumValueContextualizedFn Reifiable-Function)
      (isa MediumValueContextualizedFn CollectionDenotingFunction)
      (resultIsa MediumValueContextualizedFn Collection)
      (arg1isa MediumValueContextualizedFn Predicate)
      (arg2isa MediumValueContextualizedFn Individual)
      (arity MediumValueContextualizedFn 2)))

(defun add-to-scache (&optional (contextualized-facts *contextualized-value-facts*))
  (dolist (fact contextualized-facts)
    (format t "Adding ~A to structural cache~%" fact)
    (fire::sc-update-add (car fact) (cdr fact) fire::*kb*)))
                                

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; End of Code