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	Abort is a subclass of computer process

appearance as argument number 2

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

appearance as argument number 3

(domain processAborted 1 Abort)

QoSontology.kif 1994-1994

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