TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3952-3957
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3950-3950	O argumento numero 1 de deviceAccount e' uma instancia de UserAccount
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3951-3951	O argumento numero 2 de deviceAccount e' uma instancia de Computer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3949-3949	deviceAccount e' uma instancia de Predicado Binario

appearance as argument number 2

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

domainEnglishFormat.kif 65808-65808

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4427-4444	hasAccount Agente Cognitivo and UserAccount password ComputerPassword and UserAccount deviceAccount UserAccount and Computer Agente Cognitivo nao sabe %n password ComputerPassword and UserAccount Agente Cognitivo sabe recoveryKey Entidade and UserAccount Agente Cognitivo possui Computer o argumento Entidade Entidade e' uma instancia de ChangingPassword UserAccount e' um patient de Entidade Entidade e' um agente de Agente Cognitivo tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3988-4002	Processo e' uma instancia de LoggingIn hasAccount AutonomousAgent and UserAccount deviceAccount UserAccount and Computer Intervalo Temporal e' igual a imediatemente apos tempo de existencia de Processo Processo e' um agente de AutonomousAgent o argumento Entidade Entidade e' uma instancia de ComputerProcess Entidade e' um agente de AutonomousAgent Computer e' um instrumento para Entidade vale durante Intervalo Temporal tem a forca modal de Possibility

consequent

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

ComputingBrands.kif 4347-4358