No TPTP formula. May not be expressible in strict first order. | engineering.kif 1310-1310 | ITProcess e' uma sub-classe de Processo Intencional |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1324-1324 | SoftwareInstallation e' uma sub-classe de ITProcess |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1330-1330 | SoftwareUnInstallation e' uma sub-classe de ITProcess |