TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2084-2086
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2083-2083	Computer password is a subclass of symbolic string

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16338-16338
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16337-16337
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16336-16336

appearance as argument number 3

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

QoSontology.kif 2097-2097

The number 1 argument of password is an instance of computer password

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4079-4092	If a process is an instance of change password and an agent is an agent of the process and the agent has account an user account and the user account has password a computer password, then there exists an entity such that the entity is an instance of computer password and the entity is not equal to the computer password and the user account has password the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4299-4310	If a process is an instance of two-factor login, then there exist a transfer and an object such that the transfer is a subprocess of the process and the transfer is an instance of data entry and the object is an instance of digital data and the object transferred in the transfer is the object and the object is not an instance of computer password and the object is not an instance of user name