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	FailureFn 的 1 数量是有意图过程的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4509-4509	FailureFn 是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4515-4515	FailureFn 的所得值是过程的 subclass

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