TreeView Knowledge Base Browser - accountInformation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4413-4415
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4411-4411	accountInformation 的 1 数量是用户帐号的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4412-4412	accountInformation 的 2 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4410-4410	accountInformation 是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4409-4409	accountInformation 是包含信息的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4416-4416
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4155-4155	accountPhoneNumber 是 accountInformation 的 subrelation
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4417-4417

antecedent

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

ComputingBrands.kif 4123-4135

consequent

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

ComputingBrands.kif 4123-4135