TreeView Knowledge Base Browser

appearance as argument number 1

(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 4510-4513
(domainSubclass FailureFn 1 IntentionalProcess)	ComputingBrands.kif 4514-4514	FailureFn 的 1 数量是有意图过程的 subclass
(instance FailureFn UnaryFunction)	ComputingBrands.kif 4509-4509	FailureFn 是一元函数的 instance
(rangeSubclass FailureFn Process)	ComputingBrands.kif 4515-4515	FailureFn 的所得值是过程的 subclass

appearance as argument number 2

(termFormat EnglishLanguage FailureFn "failure fn")

domainEnglishFormat.kif 64849-64849

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 4517-4532

如果过程是 FailureFn 有点有意图过程的 instance 和有认知的主事是那个过程的 agent，
然后那个有认知的主事 desires 有存在另一个过程这样那个另外过程是有点有意图过程的 instance 和那个有认知的主事是那个另外过程的 agent 和不存在那个另外过程这样那个另外过程是那个有点有意图过程的 instance 和那个另外过程出现的 time 在那个过程出现的 time 时段内发生和那个有认知的主事是那个另外过程的 agent

statement

(equal AccountCreationRejected
(FailureFn CreatingAnAccount))

ComputingBrands.kif 4534-4534

AccountCreationRejected equal FailureFn CreatingAnAccount

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

KB Term:			Term intersection

English Word: