TreeView Knowledge Base Browser - AppleSystemManagementController

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 972-972	manufacturer AppleSystemManagementController and AppleComputerCorporation
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 962-962	AppleSystemManagementController est une sous-classe de composant d'un appareil

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 965-965
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 970-970
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 964-964
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 969-969
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 963-963
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 968-968
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 966-966
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 971-971