Telex - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Communications.kif 174-175
No TPTP formula. May not be expressible in strict first order.	Communications.kif 173-173	Telex e' uma sub-classe de CommunicationDevice

appearance as argument number 2

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

Communications.kif 176-176

antecedent

No TPTP formula. May not be expressible in strict first order.	Communications.kif 202-214	Processo termina em Objeto Processo e' uma instancia de Messaging Entidade e' um patient de Processo Objeto e' uma instancia de Telex Processo Entidade Objeto e' um instrumento para Processo Entidade e' o resultado de Processo Entidade define Entidade Entidade e' uma instancia de Texto o comeco de tempo de existencia de Processo comeca antes de o comeco de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Communications.kif 178-183	Objeto e' uma instancia de Telex Objeto Objeto e' uma instancia de Printer Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Communications.kif 185-200	Fisico e' uma instancia de Telex Fisico tem por fim Entidade Fisico2 and Entidade Entidade e' uma instancia de TelephoneSystem Fisico2 e' uma instancia de Telex Entidade e' uma instancia de Messaging Entidade tem como origem Fisico Entidade termina em Fisico2 Entidade tem como origem Fisico2 Entidade termina em Fisico Entidade e' o caminho ao longo do qual Entidade ocorre

consequent

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

Communications.kif 185-200