TreeView Knowledge Base Browser

antecedent

(=>
    (and
        (instance ?AUTO AutomatedSystem)
        (agent ?PROCESS ?AUTO))
    (and
        (instance ?COG CognitiveAgent)
        (not
            (agent ?PROCESS ?COG))))

If X is an instance of automated system and X is an agent of Y, then Z is an instance of cognitive agent and Z is not an agent of Y

consequent

(=>
    (instance ?AUTOPROCESS AutomatedProcess)
    (exists (?AUTOSYSTEM)
        (and
            (instance ?AUTOSYSTEM AutomatedSystem)
            (agent ?AUTOPROCESS ?AUTOSYSTEM))))

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

(documentation AutomatedSystem EnglishLanguage "An automated system is the agent of an AutomatedProcess. 'Automated' simply means that actions can be carried out by something other than a CognitiveAgent.")	Facebook.kif 646-649
(subclass AutomatedSystem AutonomousAgent)	Facebook.kif 651-651	Automated system is a subclass of agent

(subclass AutomatedNotificationSystem AutomatedSystem)	Facebook.kif 683-683	Automated notification system is a subclass of automated system
(termFormat EnglishLanguage AutomatedSystem "automated system")	domainEnglishFormat.kif 64498-64498	Automated notification system is a subclass of automated system