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 e' uma sub-classe de Componente de Engenharia
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 59-59	ComputerHardware e' uma sub-classe de Produto

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 e' uma sub-classe de ComputerHardware
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 467-467	ComputerInputDevice e' uma sub-classe de ComputerHardware
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 477-477	ComputerOutputDevice e' uma sub-classe de ComputerHardware
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 288-288	HardwareSystem e' uma sub-classe de ComputerHardware
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1668-1668	Sensor e' uma sub-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