TreeView Knowledge Base Browser

appearance as argument number 1

(instance FailureFn UnaryFunction)	ComputingBrands.kif 4420-4420	Failure fn is an instance of unary function
(documentation FailureFn EnglishLanguage "A Function that takes a class of actions and returns a class of actions where the agent desires to be the agent of the Process of a given type, but fails to execute the process.")	ComputingBrands.kif 4421-4424	Failure fn is an instance of unary function
(domainSubclass FailureFn 1 IntentionalProcess)	ComputingBrands.kif 4425-4425	The number 1 argument of failure fn is a subclass of intentional process
(rangeSubclass FailureFn Process)	ComputingBrands.kif 4426-4426	The values returned by failure fn are subclasses of process

appearance as argument number 2

(termFormat EnglishLanguage FailureFn "failure fn")

domainEnglishFormat.kif 64850-64850

antecedent

(=>
    (and
        (instance ?F
            (FailureFn ?C))
        (agent ?F ?A))
    (and
        (desires ?A
            (exists (?I)
                (and
                    (instance ?I ?C)
                    (agent ?I ?A))))
        (not
            (exists (?I)
                (and
                    (instance ?I ?C)
                    (during
                        (WhenFn ?I)
                        (WhenFn ?F))
                    (agent ?I ?A))))))

ComputingBrands.kif 4428-4443

If X is an instance of failure fn Y and Z is an agent of X, then Z desires there exists W such that W is an instance of Y and Z is an agent of W and there doesn't exist W such that W is an instance of Y, the time of existence of W takes place during the time of existence of X, and Z is an agent of W

statement

(equal AccountCreationRejected
(FailureFn CreatingAnAccount))

ComputingBrands.kif 4445-4445

equal account creation rejected and failure fn creating an account

Show simplified definition (without tree view)
Show simplified definition (with tree view)