Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   AutomatedProcess
|
|
|
| appearance as argument number 1 |
|
|
| (documentation AutomatedProcess EnglishLanguage "An automated process is some Process that is not a NaturalProcess and does not require the agent to be some CognitiveAgent. The agent will usually be an AutomatedSystem.") | Facebook.kif 669-672 | |
| (subclass AutomatedProcess Process) | Facebook.kif 674-674 | Automated process is a subclass of process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AutomatedProcess "automated process") | domainEnglishFormat.kif 64497-64497 |
| antecedent |
|
|
| (=> (instance ?AUTOPROCESS AutomatedProcess) (exists (?AUTOSYSTEM) (and (instance ?AUTOSYSTEM AutomatedSystem) (agent ?AUTOPROCESS ?AUTOSYSTEM)))) |
Facebook.kif 662-667 | If X is an instance of automated process, then there exists Y such that Y is an instance of automated system and Y is an agent of X |
| (=> (and (instance ?AUTONOTIFY AutomatedNotificationSystem) (instance ?AUTOPROCESS AutomatedProcess) (instance ?AUTOPROCESS Notifying) (instance ?NOTIFICATION Notification) (agent ?AUTOPROCESS ?AUTONOTIFY)) (result ?AUTOPROCESS ?NOTIFICATION)) |
Facebook.kif 685-692 | If X is an instance of automated notification system, Y is an instance of automated process, Y is an instance of notifying, Z is an instance of notification, and X is an agent of Y, then Z is a result of Y |
|