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	子類電腦硬件 and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 59-59	子類電腦硬件 and Product

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	子類電腦組件 and 電腦硬件
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 467-467	子類電腦輸入設備 and 電腦硬件
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 477-477	子類電腦輸出設備 and 電腦硬件
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 288-288	子類硬件系統 and 電腦硬件
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1668-1668	子類感測器 and 電腦硬件
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