Abort - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Abort EnglishLanguage "To exit a function or application without saving any data that has been changed.")	QoSontology.kif 1989-1990
(subclass Abort ComputerProcess)	QoSontology.kif 1988-1988

appearance as argument number 2

(termFormat ChineseLanguage Abort "退出")	domainEnglishFormat.kif 5075-5075
(termFormat ChineseTraditionalLanguage Abort "退出")	domainEnglishFormat.kif 5074-5074
(termFormat EnglishLanguage Abort "abort")	domainEnglishFormat.kif 5073-5073

appearance as argument number 3

(domain processAborted 1 Abort)

QoSontology.kif 1994-1994

consequent

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

ComputingBrands.kif 3042-3050