TreeView Knowledge Base Browser

appearance as argument number 1

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

ComputingBrands.kif 974-974

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 975-975	creator AppleComputerCorporation and AppleSafari
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 978-978
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 977-977
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 976-976
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 979-979