TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4510-4513
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4514-4514	The number 1 argument of failure fn is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4509-4509	Failure fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4515-4515	The values returned by failure fn are subclasses of process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 64847-64847

antecedent

No TPTP formula. May not be expressible in strict first order.

ComputingBrands.kif 4517-4532

statement

No TPTP formula. May not be expressible in strict first order.

ComputingBrands.kif 4534-4534