Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| processAborted |
| appearance as argument number 1 |
|
| (instance processAborted BinaryPredicate) | QoSontology.kif 2010-2010 | process aborted is an instance of binary predicate |
| (instance processAborted AsymmetricRelation) | QoSontology.kif 2011-2011 | process aborted is an instance of asymmetric relation |
| (domain processAborted 1 Abort) | QoSontology.kif 2012-2012 | The number 1 argument of process aborted is an instance of abort |
| (domain processAborted 2 ComputerProcess) | QoSontology.kif 2013-2013 | The number 2 argument of process aborted is an instance of computer process |
| (documentation processAborted EnglishLanguage "(processAborted ?Abort ?Process) means that the ComputerProcess ?Process is aborted as the result of ?Abort.") | QoSontology.kif 2014-2015 | The number 2 argument of process aborted is an instance of computer process |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage processAborted "%2 is %n a process aborted of %1") | domainEnglishFormat.kif 2065-2065 | |
| (format ChineseTraditionalLanguage processAborted "%2 %n 是 %1 中止的 process ") | domainEnglishFormat.kif 2066-2066 | |
| (format ChineseLanguage processAborted "%2 %n 是 %1 中止的 process ") | domainEnglishFormat.kif 2067-2067 | |
| (termFormat EnglishLanguage processAborted "process aborted") | domainEnglishFormat.kif 47491-47491 | |
| (termFormat ChineseTraditionalLanguage processAborted "過程中止") | domainEnglishFormat.kif 47492-47492 | |
| (termFormat ChineseLanguage processAborted "过程中止") | domainEnglishFormat.kif 47493-47493 |
| antecedent |
|
|
| (=> (and (processAborted ?Abort ?Process) (dataProcessed ?Process ?Data)) (not (exists (?Save) (and (instance ?Save DataSaving) (dataProcessed ?Save ?Data))))) |
QoSontology.kif 2017-2025 | If X is a process aborted of Y and Z is processed by X, then there doesn't exist W such that W is an instance of data saving and Z is processed by W |
| consequent |
|
|
| (=> (and (instance ?FQ ForceQuit) (refers ?FQ ?P) (programRunning ?P ?PROG)) (exists (?A) (and (instance ?A Abort) (processAborted ?A ?P)))) |
ComputingBrands.kif 2953-2961 | If X is an instance of force quit, X includes a reference to Y, and Z is a program running of Y, then there exists W such that W is an instance of abort and Y is a process aborted of W |
|