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	The maker of System Management Controller is Apple
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 962-962	System Management Controller is a subclass of engineering component

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