ComputerTerminal - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 495-498
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 125-136
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 123-123	电脑终端是 ComputerIODevice 的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 493-493	电脑终端是电脑输出设备的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 494-494	电脑终端是 DataDisplayDevice 的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16440-16440
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16439-16439
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16438-16438