|
|
   ITProcess
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ITProcess EnglishLanguage "A process performed on a computer by a human operator.") | engineering.kif 1308-1309 | |
| (subclass ITProcess IntentionalProcess) | engineering.kif 1310-1310 |
| appearance as argument number 2 |
|
|
| (subclass SoftwareInstallation ITProcess) | engineering.kif 1324-1324 | |
| (subclass SoftwareUnInstallation ITProcess) | engineering.kif 1330-1330 | |
| (termFormat ChineseLanguage ITProcess "IT流程") | domainEnglishFormat.kif 31315-31315 | |
| (termFormat ChineseTraditionalLanguage ITProcess "IT流程") | domainEnglishFormat.kif 31314-31314 | |
| (termFormat EnglishLanguage ITProcess "IT process") | domainEnglishFormat.kif 31313-31313 |
| antecedent |
|
|
| (=> (instance ?PROCESS ITProcess) (exists (?AGENT ?PATIENT) (and (agent ?PROCESS ?AGENT) (patient ?PROCESS ?PATIENT) (instance ?AGENT ITAgent) (instance ?PATIENT Computer)))) |
engineering.kif 1311-1318 |
|
|
|