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	O argumento numero 1 de FailureFn e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4509-4509	FailureFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4515-4515	Os valores retornados por FailureFn sao as sub-classes de Processo

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