ITAgent
|
|
appearance as argument number 1 |
(documentation ITAgent EnglishLanguage "agent capable of performing ITProcess") | engineering.kif 1305-1305 | |
(subclass ITAgent AutonomousAgent) | engineering.kif 1306-1306 | ITAgent ist eine teilkategorie von AutonomousAgent |
appearance as argument number 2 |
(termFormat ChineseLanguage ITAgent "IT代理商") | domainEnglishFormat.kif 31231-31231 | |
(termFormat ChineseTraditionalLanguage ITAgent "IT代理商") | domainEnglishFormat.kif 31230-31230 | |
(termFormat EnglishLanguage ITAgent "IT agent") | domainEnglishFormat.kif 31229-31229 |
consequent |
(=> (instance ?PROCESS ITProcess) (exists (?AGENT ?PATIENT) (and (agent ?PROCESS ?AGENT) (patient ?PROCESS ?PATIENT) (instance ?AGENT ITAgent) (instance ?PATIENT Computer)))) |
engineering.kif 1311-1318 |
|