Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - processAborted
processAborted

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 2021-2022
(domain processAborted 1 Abort) QoSontology.kif 2019-2019 The number 1 argument of process aborted is an instance of abort
(domain processAborted 2 ComputerProcess) QoSontology.kif 2020-2020 The number 2 argument of process aborted is an instance of computer process
(instance processAborted AsymmetricRelation) QoSontology.kif 2018-2018 process aborted is an instance of asymmetric relation
(instance processAborted BinaryPredicate) QoSontology.kif 2017-2017 process aborted is an instance of binary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage processAborted "%2 %n 是 %1 中止的 process ") domainEnglishFormat.kif 2067-2067
(format ChineseTraditionalLanguage processAborted "%2 %n 是 %1 中止的 process ") domainEnglishFormat.kif 2066-2066
(format EnglishLanguage processAborted "%2 is %n a process aborted of %1") domainEnglishFormat.kif 2065-2065
(termFormat ChineseLanguage processAborted "过程中止") domainEnglishFormat.kif 47500-47500
(termFormat ChineseTraditionalLanguage processAborted "過程中止") domainEnglishFormat.kif 47499-47499
(termFormat EnglishLanguage processAborted "process aborted") domainEnglishFormat.kif 47498-47498

antecedent
-------------------------


(=>
    (and
        (processAborted ?Abort ?Process)
        (dataProcessed ?Process ?Data))
    (not
        (exists (?Save)
            (and
                (instance ?Save DataSaving)
                (dataProcessed ?Save ?Data)))))
QoSontology.kif 2024-2032

consequent
-------------------------


(=>
    (and
        (instance ?FQ ForceQuit)
        (refers ?FQ ?P)
        (programRunning ?P ?PROG))
    (exists (?A)
        (and
            (instance ?A Abort)
            (processAborted ?A ?P))))
ComputingBrands.kif 3042-3050


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