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	域過程中止, 1 and 退出
(domain processAborted 2 ComputerProcess)	QoSontology.kif 1889-1889	域過程中止, 2 and 電腦程序
(instance processAborted AsymmetricRelation)	QoSontology.kif 1887-1887	例過程中止 and AsymmetricRelation
(instance processAborted BinaryPredicate)	QoSontology.kif 1886-1886	例過程中止 and BinaryPredicate

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

電腦程序是退出中止的 process 數字數據是由電腦程序 processed
電腦程序例電腦程序 and 數據保存數字數據是由電腦程序 processed

consequent

(=>
    (and
        (instance ?FQ ForceQuit)
        (refers ?FQ ?P)
        (programRunning ?P ?PROG))
    (exists (?A)
        (and
            (instance ?A Abort)
            (processAborted ?A ?P))))

ComputingBrands.kif 3042-3050

例 Entity and 強迫終止參照 Entity and 電腦程序電腦程序ROG 是電腦程序的執行 program
退出例退出 and 退出電腦程序是退出中止的 process

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

KB Term:			Term intersection

English Word: