;;;; Axioms for c:\qrg\FIRE\V1\evalfns.lsp
;;;; Automatically generated 6/1/2004, 0:7:50.
;;;; PLEASE DO NOT MANUALLY EDIT.

(in-package :data)


;;; Axioms concerning LengthOfListFn

(comment LengthOfListFn "Computes the length of a list")
(isa LengthOfListFn EvaluatableFunction)
(arity LengthOfListFn 1)
(lispProcedureImplementing LengthOfListFn LengthOfListFn-3295055270)
(arg1Isa LengthOfListFn List)
(resultIsa LengthOfListFn NonNegativeInteger)

;;; Axioms concerning CardinalityFn

(comment CardinalityFn
 "Computes the cardinality of a set implemented in a list")
(isa CardinalityFn EvaluatableFunction)
(arity CardinalityFn 1)
(lispProcedureImplementing CardinalityFn CardinalityFn-3295055270)
(arg1Isa CardinalityFn Set)
(resultIsa CardinalityFn NonNegativeInteger)

;;; Axioms concerning ListFn

(comment ListFn
 "Creates a form thats Cyc's representation of a list from the arguments passed to it, e.g. evaluating (ListFn foo bar) returns (TheList foo bar)")
(isa ListFn EvaluatableFunction)
(isa ListFn VariableArityFunction)
(lispProcedureImplementing ListFn ListFn-3295055270)
(resultIsa ListFn List)

;;; Axioms concerning MemberFn

(comment MemberFn
 "(MemberFn ?elt ?lst) returns t or nil depending upon whether ?elt is present in ?lst")
(isa MemberFn EvaluatableFunction)
(arity MemberFn 2)
(lispProcedureImplementing MemberFn MemberFn-3295055270)
(arg1Isa MemberFn Thing)

;;; Axioms concerning SublistFromToFn

(comment SublistFromToFn
 "(SublistFromToFn ?list ?from ?to) extracts a subset of a list.")
(isa SublistFromToFn EvaluatableFunction)
(arity SublistFromToFn 3)
(lispProcedureImplementing SublistFromToFn SublistFromToFn-3295055270)
(resultIsa SublistFromToFn List)

;;; Axioms concerning NthInListFn

(comment NthInListFn
 "(NthInListFn ?n ?list) returns the ?nth element of ?list.)")
(isa NthInListFn EvaluatableFunction)
(arity NthInListFn 2)
(lispProcedureImplementing NthInListFn NthInListFn-3295055270)
(resultIsa NthInListFn Thing)

;;; Axioms concerning TheList

(comment TheList "(TheList <stuff>) refers to the list of <stuff>")
(isa TheList EvaluatableFunction)
(isa TheList VariableArityFunction)
(lispProcedureImplementing TheList TheList-3295055270)
(resultIsa TheList List)

;;; Axioms concerning TheSet

(comment TheSet "(TheSet <stuff>) refers to the set of <stuff>")
(isa TheSet EvaluatableFunction)
(isa TheSet VariableArityFunction)
(lispProcedureImplementing TheSet TheSet-3295055270)
(resultIsa TheSet Set)

;;; Axioms concerning PlusFn

(comment PlusFn "PlusFn is n-ary addition.")
(isa PlusFn EvaluatableFunction)
(isa PlusFn VariableArityFunction)
(lispProcedureImplementing PlusFn PlusFn-3295055270)
(resultIsa PlusFn Number)

;;; Axioms concerning TimesFn

(comment TimesFn "TimesFn is n-ary multiplication.")
(isa TimesFn EvaluatableFunction)
(isa TimesFn VariableArityFunction)
(lispProcedureImplementing TimesFn TimesFn-3295055270)
(resultIsa TimesFn Number)

;;; Axioms concerning DifferenceFn

(comment DifferenceFn "DifferenceFn is binary subtraction.")
(isa DifferenceFn EvaluatableFunction)
(arity DifferenceFn 2)
(lispProcedureImplementing DifferenceFn DifferenceFn-3295055270)
(resultIsa DifferenceFn Number)

;;; Axioms concerning QuotientFn

(comment QuotientFn "QuotientFn is division.")
(isa QuotientFn EvaluatableFunction)
(arity QuotientFn 2)
(lispProcedureImplementing QuotientFn QuotientFn-3295055270)
(resultIsa QuotientFn Number)

;;; Axioms concerning AbsoluteValueFn

(comment AbsoluteValueFn "AbsoluteValueFn is absolute value.")
(isa AbsoluteValueFn EvaluatableFunction)
(arity AbsoluteValueFn 1)
(lispProcedureImplementing AbsoluteValueFn AbsoluteValueFn-3295055270)
(resultIsa AbsoluteValueFn Number)

;;; Axioms concerning ExponentFn

(comment ExponentFn
 "(ExponentFn ?base ?number) is ?base to the ?number.")
(isa ExponentFn EvaluatableFunction)
(arity ExponentFn 2)
(lispProcedureImplementing ExponentFn ExponentFn-3295055270)
(resultIsa ExponentFn Number)

;;; Axioms concerning ExpFn

(comment ExpFn "(ExpFn ?exp) is E to the ?exp.")
(isa ExpFn EvaluatableFunction)
(arity ExpFn 1)
(lispProcedureImplementing ExpFn ExpFn-3295055270)
(resultIsa ExpFn Number)

;;; Axioms concerning LogFn

(comment LogFn "(LogFn ?num) is the logarithm of ?num.")
(isa LogFn EvaluatableFunction)
(arity LogFn 1)
(lispProcedureImplementing LogFn LogFn-3295055270)
(resultIsa LogFn Number)

;;; Axioms concerning MaximumFn

(comment MaximumFn
 "(MaximumFn ?set ?function) finds the largest element of ?function mapped over ?set.")
(isa MaximumFn EvaluatableFunction)
(arity MaximumFn 2)
(lispProcedureImplementing MaximumFn MaximumFn-3295055270)
(resultIsa MaximumFn Thing)

;;; Axioms concerning PlusAll

(comment PlusAll
 "(PlusAll ?set ?function) sums the result of mapping ?function over ?set.")
(isa PlusAll EvaluatableFunction)
(arity PlusAll 2)
(lispProcedureImplementing PlusAll PlusAll-3295055270)
(resultIsa PlusAll Number)

;;; Axioms concerning FunctionToArg

(comment FunctionToArg
 "(FunctionToArg N PRED) denotes the function defined by treating all but the Nth arguments to PRED as inputs, and the Nth one as being the output.")
(isa FunctionToArg EvaluatableFunction)
(arity FunctionToArg 2)
(lispProcedureImplementing FunctionToArg FunctionToArg-3295055270)
(resultIsa FunctionToArg Function)

;;; Axioms concerning TheClosedRetrievalSetOf

(comment TheClosedRetrievalSetOf
 "(TheClosedRetrievalSetOf ?var ?statement) is evaluated by using ASK.")
(isa TheClosedRetrievalSetOf EvaluatableFunction)
(arity TheClosedRetrievalSetOf 2)
(lispProcedureImplementing TheClosedRetrievalSetOf
 TheClosedRetrievalSetOf-3295055270)
(resultIsa TheClosedRetrievalSetOf Set)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; End of file