No TPTP formula. May not be expressible in strict first order. | engineering.kif 1324-1324 | Installation is a subclass of IT process |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3591-3591 | Installation is a subclass of data transfer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3814-3814 | Software upgrade is a subclass of installation |