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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 1890-1891
(domain processAborted 1 Abort) QoSontology.kif 1888-1888
(domain processAborted 2 ComputerProcess) QoSontology.kif 1889-1889
(instance processAborted AsymmetricRelation) QoSontology.kif 1887-1887
(instance processAborted BinaryPredicate) QoSontology.kif 1886-1886

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 47510-47510
(termFormat ChineseTraditionalLanguage processAborted "過程中止") domainEnglishFormat.kif 47509-47509
(termFormat EnglishLanguage processAborted "process aborted") domainEnglishFormat.kif 47508-47508


        (processAborted ?Abort ?Process)
        (dataProcessed ?Process ?Data))
        (exists (?Save)
                (instance ?Save DataSaving)
                (dataProcessed ?Save ?Data)))))
QoSontology.kif 1893-1901


        (instance ?FQ ForceQuit)
        (refers ?FQ ?P)
        (programRunning ?P ?PROG))
    (exists (?A)
            (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