| SoftwareInstallation(installation)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1318-1319 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11253-11253 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11252-11252 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11250-11250 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11251-11251 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3562-3562 | Installation is a subclass of data transfer |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1322-1322 | Installation is a subclass of IT process |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3785-3785 | Software upgrade is a subclass of installation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30222-30222 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30221-30221 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1321-1321 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30220-30220 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3564-3572 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3574-3588 |
|
|
|
|