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


s__documentation(s__processAborted__m,s__EnglishLanguage,'"(processAborted ?Abort ?Process) means that the ComputerProcess ?Process is aborted as the result of ?Abort."')

QoSontology.kif 1896-1897
s__domain(s__processAborted__m,n__1,s__Abort)

QoSontology.kif 1894-1894 The number 1 argument of process aborted is an instance of abort
s__domain(s__processAborted__m,n__2,s__ComputerProcess)

QoSontology.kif 1895-1895 The number 2 argument of process aborted is an instance of computer process
s__instance(s__processAborted__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__Class)

QoSontology.kif 1893-1893 process aborted is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__processAborted__m,s__BinaryPredicate)

QoSontology.kif 1892-1892 process aborted is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__processAborted__m,'"%2 %n 是 %1 中止的 process "')

domainEnglishFormat.kif 2063-2063
s__format(s__ChineseTraditionalLanguage,s__processAborted__m,'"%2 %n 是 %1 中止的 process "')

domainEnglishFormat.kif 2062-2062
s__format(s__EnglishLanguage,s__processAborted__m,'"%2 is %n a process aborted of %1"')

domainEnglishFormat.kif 2061-2061
s__termFormat(s__ChineseLanguage,s__processAborted__m,'"过程中止"')

domainEnglishFormat.kif 47481-47481
s__termFormat(s__ChineseTraditionalLanguage,s__processAborted__m,'"過程中止"')

domainEnglishFormat.kif 47480-47480
s__termFormat(s__EnglishLanguage,s__processAborted__m,'"process aborted"')

domainEnglishFormat.kif 47479-47479

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


( ! [V__Data,V__Abort,V__Process] :
   (((s__instance(V__Data,s__DigitalData) &
         s__instance(V__Abort,s__Abort) &
         s__instance(V__Process,s__ComputerProcess))
       =>
       (((s__processAborted(V__Abort,V__Process)
           &
           s__dataProcessed(V__Process,V__Data))
       =>
       (~(( ? [V__Save] :
             ((s__instance(V__Save,s__DataSaving) &
                 s__dataProcessed(V__Save,V__Data)))))))))
)
)

QoSontology.kif 1899-1907

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


( ! [V__P,V__PROG,V__FQ] :
   (((s__instance(V__P,s__ComputerProcess) &
         s__instance(V__PROG,s__ComputerProgram))
       =>
       (((s__instance(V__FQ,s__ForceQuit) &
             s__refers(V__FQ,V__P)
           &
           s__programRunning(V__P,V__PROG))
       =>
       (( ? [V__A] :
           ((s__instance(V__A,s__Abort) &
               s__processAborted(V__A,V__P))))))))
)
)

ComputingBrands.kif 3001-3009


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