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 2532-2534
(domain AbortedLaunchFn 2 TakingOff)	MilitaryProcesses.kif 2529-2529	The number 2 argument of aborted launch is an instance of taking off
(instance AbortedLaunchFn BinaryFunction)	MilitaryProcesses.kif 2528-2528	Aborted launch is an instance of binary function
(range AbortedLaunchFn TakingOff)	MilitaryProcesses.kif 2530-2530	The range of aborted launch is an instance of taking off
(subrelation AbortedLaunchFn AbortedFn)	MilitaryProcesses.kif 2531-2531	Aborted launch is a subrelation of aborted

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 2902-2902
(termFormat ChineseLanguage AbortedLaunchFn "中止发射")	domainEnglishFormat.kif 5086-5086
(termFormat ChineseTraditionalLanguage AbortedLaunchFn "中止發射")	domainEnglishFormat.kif 5085-5085
(termFormat EnglishLanguage AbortedLaunchFn "aborted launch")	domainEnglishFormat.kif 5084-5084