TreeView Knowledge Base Browser

appearance as argument number 1

(documentation AbortedLaunchFn EnglishLanguage "(AbortedLaunchFn ?AGENT ?TAKEOFF) is the TakingOff ?TAKEOFF after it has gotten aborted by the Agent ?AGENT. To discontinue aircraft takeoff or missile launch.")	MilitaryProcesses.kif 2514-2516
(domain AbortedLaunchFn 1 AutonomousAgent)	MilitaryProcesses.kif 2510-2510	The number 1 argument of aborted launch is an instance of agent
(domain AbortedLaunchFn 2 TakingOff)	MilitaryProcesses.kif 2511-2511	The number 2 argument of aborted launch is an instance of taking off
(instance AbortedLaunchFn BinaryFunction)	MilitaryProcesses.kif 2509-2509	Aborted launch is an instance of binary function
(range AbortedLaunchFn TakingOff)	MilitaryProcesses.kif 2512-2512	The range of aborted launch is an instance of taking off
(subrelation AbortedLaunchFn AbortedFn)	MilitaryProcesses.kif 2513-2513	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 2885-2885
(termFormat ChineseLanguage AbortedLaunchFn "中止发射")	domainEnglishFormat.kif 5091-5091
(termFormat ChineseTraditionalLanguage AbortedLaunchFn "中止發射")	domainEnglishFormat.kif 5090-5090
(termFormat EnglishLanguage AbortedLaunchFn "aborted launch")	domainEnglishFormat.kif 5089-5089