AbortedFn |
appearance as argument number 1 |
![]() |
(documentation AbortedFn EnglishLanguage "(AborteFn ?AGENT ?PROCESS) is the Process ?PROCESS after it has gotten aborted by the AutonomousAgent ?AGENT") | MilitaryProcesses.kif 2414-2415 | |
(domain AbortedFn 1 AutonomousAgent) | MilitaryProcesses.kif 2411-2411 | 域 中止, 1 and AutonomousAgent |
(domain AbortedFn 2 Process) | MilitaryProcesses.kif 2412-2412 | 域 中止, 2 and Process |
(instance AbortedFn BinaryFunction) | MilitaryProcesses.kif 2410-2410 | 例 中止 and BinaryFunction |
(range AbortedFn Process) | MilitaryProcesses.kif 2413-2413 | 範圍 中止 and Process |
appearance as argument number 2 |
![]() |
(format ChineseLanguage AbortedFn "由 %2 中止的 %1 ") | domainEnglishFormat.kif 20-20 | |
(format ChineseTraditionalLanguage AbortedFn "由 %2 中止的 %1 ") | domainEnglishFormat.kif 19-19 | |
(format EnglishLanguage AbortedFn "the abortion of %1 by %2 ") | domainEnglishFormat.kif 18-18 | |
(format EnglishLanguage AbortedFn "the process %2 aborted by %1") | MilitaryProcesses.kif 2899-2899 | |
(subrelation AbortedLaunchFn AbortedFn) | MilitaryProcesses.kif 2531-2531 | 子關係 中止發射 and 中止 |
(subrelation AbortedMissionFn AbortedFn) | MilitaryProcesses.kif 2433-2433 | 子關係 任務中止 and 中止 |
(termFormat ChineseLanguage AbortedFn "中止") | domainEnglishFormat.kif 5081-5081 | 子關係 任務中止 and 中止 |
(termFormat ChineseTraditionalLanguage AbortedFn "中止") | domainEnglishFormat.kif 5080-5080 | 子關係 任務中止 and 中止 |
(termFormat EnglishLanguage AbortedFn "aborted") | domainEnglishFormat.kif 5079-5079 | 子關係 任務中止 and 中止 |
antecedent |
![]() |
(=> (instance ?X (AbortedFn ?A ?P)) (exists (?T) (and (holdsDuring ?T (desires ?A (exists (?PR) (and (instance ?PR ?P) (agent ?PR ?A))))) (earlier ?T (WhenFn ?X))))) |
MilitaryProcesses.kif 2417-2428 |
|
![]() |
![]() |