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

Formal Language: 



KB Term:  Term intersection
English Word: 

  processAborted

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 1895-1896
(domain processAborted 1 Abort) QoSontology.kif 1893-1893 The number 1 argument of process aborted is an instance of abort
(domain processAborted 2 ComputerProcess) QoSontology.kif 1894-1894 The number 2 argument of process aborted is an instance of computer process
(instance processAborted AsymmetricRelation) QoSontology.kif 1892-1892 process aborted is an instance of asymmetric relation
(instance processAborted BinaryPredicate) QoSontology.kif 1891-1891 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 47481-47481
(termFormat ChineseTraditionalLanguage processAborted "過程中止") domainEnglishFormat.kif 47480-47480
(termFormat EnglishLanguage processAborted "process aborted") domainEnglishFormat.kif 47479-47479

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


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

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


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


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

Show without tree


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