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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AbortedFn
AbortedFn

appearance as argument number 1
-------------------------


(documentation AbortedFn EnglishLanguage "(AborteFn ?AGENT ?PROCESS) is the Process ?PROCESS after it has gotten aborted by the Agent ?AGENT") MilitaryProcesses.kif 2381-2382
(domain AbortedFn 1 Agent) MilitaryProcesses.kif 2378-2378 The number 1 argument of aborted is an instance of agent
(domain AbortedFn 2 Process) MilitaryProcesses.kif 2379-2379 The number 2 argument of aborted is an instance of process
(instance AbortedFn BinaryFunction) MilitaryProcesses.kif 2377-2377 Aborted is an instance of binary function
(range AbortedFn Process) MilitaryProcesses.kif 2380-2380 The range of aborted is an instance of process

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


(format EnglishLanguage AbortedFn "the abortion of %1 by %2") domainEnglishFormat.kif 14-14
(format EnglishLanguage AbortedFn "the process %2 aborted by %1") MilitaryProcesses.kif 2656-2656
(subrelation AbortedLaunchFn AbortedFn) MilitaryProcesses.kif 2446-2446 Aborted launch is a subrelation of aborted
(subrelation AbortedMissionFn AbortedFn) MilitaryProcesses.kif 2400-2400 Aborted mission is a subrelation of aborted
(termFormat EnglishLanguage AbortedFn "aborted") domainEnglishFormat.kif 1280-1280 "aborted" is the printable form of aborted in english language

antecedent
-------------------------


(=>
    (instance ?X
        (AbortedFn ?A ?P))
    (exists (?T)
        (and
            (holdsDuring ?T
                (desires ?A
                    (exists (?PR)
                        (and
                            (instance ?PR ?P)
                            (agent ?PR ?A)))))
            (earlier ?T
                (WhenFn ?X)))))
MilitaryProcesses.kif 2384-2395


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



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