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 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31315-31315 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31314-31314 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31313-31313 |
|