AbortedLaunchFn |
appearance as argument number 1 |
(documentation AbortedLaunchFn EnglishLanguage "(AborteLaunchFn ?AGENT ?TAKEOFF) is the TakingOff ?TAKEOFF after it has gotten aborted by the Agent ?AGENT. To discontinue aircraft takeoff or missile launch.") | MilitaryProcesses.kif 2531-2533 | |
(domain AbortedLaunchFn 2 TakingOff) | MilitaryProcesses.kif 2528-2528 | Il numero 2 argomenti di AbortedLaunchFn è un istanza di TakingOff |
(instance AbortedLaunchFn BinaryFunction) | MilitaryProcesses.kif 2527-2527 | AbortedLaunchFn è un' istanza di FunzioneBinaria |
(range AbortedLaunchFn TakingOff) | MilitaryProcesses.kif 2529-2529 | rango di AbortedLaunchFn è un'istanza di TakingOff |
(subrelation AbortedLaunchFn AbortedFn) | MilitaryProcesses.kif 2530-2530 | AbortedLaunchFn è una sottorelazione di AbortedFn |
appearance as argument number 2 |
(format ChineseLanguage AbortedLaunchFn "由 %1 中止启动 的 %2 ") | domainEnglishFormat.kif 24-24 | |
(format ChineseTraditionalLanguage AbortedLaunchFn "由 %1 中止啟動 的 %2 ") | domainEnglishFormat.kif 23-23 | |
(format EnglishLanguage AbortedLaunchFn "the aborted launch of %2 by %1") | domainEnglishFormat.kif 22-22 | |
(format EnglishLanguage AbortedLaunchFn "the launch %2 aborted by %1") | MilitaryProcesses.kif 2767-2767 | |
(termFormat ChineseLanguage AbortedLaunchFn "中止发射") | domainEnglishFormat.kif 5082-5082 | |
(termFormat ChineseTraditionalLanguage AbortedLaunchFn "中止發射") | domainEnglishFormat.kif 5081-5081 | |
(termFormat EnglishLanguage AbortedLaunchFn "aborted launch") | domainEnglishFormat.kif 5080-5080 |