TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 60-61
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 596-596	电脑硬件是工程组件的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 59-59	电脑硬件是产品的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 539-539	每个 InternalComputerLoudspeaker 是电脑硬件的 part
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 811-811	电脑组件是电脑硬件的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 467-467	电脑输入设备是电脑硬件的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 477-477	电脑输出设备是电脑硬件的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 288-288	硬件系统是电脑硬件的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1668-1668	感测器是电脑硬件的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16308-16308
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16307-16307
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16306-16306

appearance as argument number 3

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

ComputingBrands.kif 3533-3533

antecedent

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

QoSontology.kif 63-68