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	deviceAccount 的 1 数量是用户帐号的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3951-3951	deviceAccount 的 2 数量是电脑的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3949-3949	deviceAccount 是二元谓语的 instance

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	如果有认知的主事有 account 用户帐号和那个用户帐号有 password 电脑密码和 deviceAccount 那个用户帐号 and 电脑和那个有认知的主事 doesn't knows 那个用户帐号有 password 那个电脑密码和那个有认知的主事 knows recoveryKey 实体 and 那个用户帐号和那个有认知的主事 possesses 那个电脑，然后有存在另一个实体这样那个另外实体是 ChangingPassword 的 instance 和那个用户帐号是那个另外实体的 patient 和那个有认知的主事是那个另外实体的 agent 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3988-4002	如果过程是 LoggingIn 的 instance 和施事体有 account 用户帐号和 deviceAccount 那个用户帐号 and 电脑和时距 equal 紧接那个过程出现的 time after 和那个施事体是那个过程的 agent，然后有存在实体这样那个实体是电脑程序的 instance 和那个施事体是那个实体的 agent 和那个电脑是导致那个实体的 instrument 在那个时距 holdsDuring 的声明 has 可能性的语气

consequent

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

ComputingBrands.kif 4347-4358