No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2706-2706 | Cable is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2857-2857 | USB cable is a subclass of cable |
![]() |