TouchScreen - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 486-487
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 482-482	TouchScreen est une sous-classe de ComputerInputDevice
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 483-483	TouchScreen est une sous-classe de ComputerOutputDevice
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 484-484	TouchScreen est une sous-classe de VideoDisplay

appearance as argument number 2

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

domainEnglishFormat.kif 65610-65610

antecedent

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

QoSontology.kif 489-491