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 1883-1884
(subclass Abort ComputerProcess)	QoSontology.kif 1882-1882	Abort is a subclass of computer process

appearance as argument number 2

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

appearance as argument number 3

(domain processAborted 1 Abort)

QoSontology.kif 1888-1888

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))))

ComputingBrands.kif 3042-3050