TreeView 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 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 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 1893-1901

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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: