Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AbortedLaunchFn

Sigma KEE - AbortedLaunchFn
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 2447-2449
(domain AbortedLaunchFn 2 TakingOff) MilitaryProcesses.kif 2444-2444
(instance AbortedLaunchFn BinaryFunction) MilitaryProcesses.kif 2443-2443
(range AbortedLaunchFn TakingOff) MilitaryProcesses.kif 2445-2445
(subrelation AbortedLaunchFn AbortedFn) MilitaryProcesses.kif 2446-2446

appearance as argument number 2
-------------------------


(format EnglishLanguage AbortedLaunchFn "the aborted launch of %2 by %1") domainEnglishFormat.kif 15-15
(format EnglishLanguage AbortedLaunchFn "the launch %2 aborted by %1") MilitaryProcesses.kif 2659-2659
(termFormat EnglishLanguage AbortedLaunchFn "aborted launch") domainEnglishFormat.kif 1281-1281


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners