processAborted - Sigma Knowledge base Browser

appearance as argument number 1

(documentation processAborted EnglishLanguage "(processAborted ?Abort ?Process) means that the ComputerProcess ?Process is aborted as the result of ?Abort.")	QoSontology.kif 1996-1997
(domain processAborted 1 Abort)	QoSontology.kif 1994-1994	The number 1 argument of process aborted is an instance of abort
(domain processAborted 2 ComputerProcess)	QoSontology.kif 1995-1995	The number 2 argument of process aborted is an instance of computer process
(instance processAborted AsymmetricRelation)	QoSontology.kif 1993-1993	process aborted is an instance of asymmetric relation
(instance processAborted BinaryPredicate)	QoSontology.kif 1992-1992	process aborted is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage processAborted "%2 %n 是 %1 中止的 process ")	domainEnglishFormat.kif 2063-2063
(format ChineseTraditionalLanguage processAborted "%2 %n 是 %1 中止的 process ")	domainEnglishFormat.kif 2062-2062
(format EnglishLanguage processAborted "%2 is %n a process aborted of %1")	domainEnglishFormat.kif 2061-2061
(termFormat ChineseLanguage processAborted "过程中止")	domainEnglishFormat.kif 47531-47531
(termFormat ChineseTraditionalLanguage processAborted "過程中止")	domainEnglishFormat.kif 47530-47530
(termFormat EnglishLanguage processAborted "process aborted")	domainEnglishFormat.kif 47529-47529

antecedent

(=>
    (and
        (processAborted ?Abort ?Process)
        (dataProcessed ?Process ?Data))
    (not
        (exists (?Save)
            (and
                (instance ?Save DataSaving)
                (dataProcessed ?Save ?Data)))))

QoSontology.kif 1999-2007

If a computer process is a process aborted of an abort and a digital data is processed by the computer process,
then there doesn't exist another computer process such that the other computer process is an instance of data saving and the digital data is processed by the other computer process

consequent

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

ComputingBrands.kif 3042-3050

If an entity is an instance of force quit and the entity includes a reference to a computer process and the computer processROG is a program running of the computer process,
then there exists an abort such that the abort is an instance of abort and the computer process is a process aborted of the abort

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: