Abort - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Abort ComputerProcess)	QoSontology.kif 2006-2006	Abort is a subclass of computer process
(documentation Abort EnglishLanguage "To exit a function or application without saving any data that has been changed.")	QoSontology.kif 2007-2008	Abort is a subclass of computer process

appearance as argument number 2

(termFormat EnglishLanguage Abort "abort")	domainEnglishFormat.kif 5077-5077
(termFormat ChineseTraditionalLanguage Abort "退出")	domainEnglishFormat.kif 5078-5078
(termFormat ChineseLanguage Abort "退出")	domainEnglishFormat.kif 5079-5079

appearance as argument number 3

(domain processAborted 1 Abort)

The number 1 argument of process aborted is an instance of abort

consequent

(=>
    (and
        (instance ?FQ ForceQuit)
        (refers ?FQ ?P)
        (programRunning ?P ?PROG))
    (exists (?A)
        (and
            (instance ?A Abort)
            (processAborted ?A ?P))))

If X is an instance of force quit, X includes a reference to Y, and Z is a program running of Y, then there exists W such that W is an instance of abort and Y is a process aborted of W