No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1911-1911 | Application Programmer Interface is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2398-2398 | Cocoa Touch is a subclass of Application Programmer Interface |