TreeView Knowledge Base Browser

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 2480-2482
(domain AbortedLaunchFn 2 TakingOff)	MilitaryProcesses.kif 2477-2477
(instance AbortedLaunchFn BinaryFunction)	MilitaryProcesses.kif 2476-2476
(range AbortedLaunchFn TakingOff)	MilitaryProcesses.kif 2478-2478
(subrelation AbortedLaunchFn AbortedFn)	MilitaryProcesses.kif 2479-2479

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 2716-2716
(termFormat ChineseLanguage AbortedLaunchFn "中止发射")	domainEnglishFormat.kif 5082-5082
(termFormat ChineseTraditionalLanguage AbortedLaunchFn "中止發射")	domainEnglishFormat.kif 5081-5081
(termFormat EnglishLanguage AbortedLaunchFn "aborted launch")	domainEnglishFormat.kif 5080-5080