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	ComputerHardware est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 59-59	ComputerHardware est une sous-classe de produit

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 539-539	partTypes InternalComputerLoudspeaker and ComputerHardware
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 811-811	ComputerComponent est une sous-classe de ComputerHardware
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 467-467	ComputerInputDevice est une sous-classe de ComputerHardware
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 477-477	ComputerOutputDevice est une sous-classe de ComputerHardware
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 288-288	HardwareSystem est une sous-classe de ComputerHardware
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1668-1668	Sensor est une sous-classe de ComputerHardware
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