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
(domain AbortedFn 2 Process) MilitaryProcesses.kif 2379-2379
(instance AbortedFn BinaryFunction) MilitaryProcesses.kif 2377-2377
(range AbortedFn Process) MilitaryProcesses.kif 2380-2380

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
(subrelation AbortedMissionFn AbortedFn) MilitaryProcesses.kif 2400-2400
(termFormat EnglishLanguage AbortedFn "aborted") domainEnglishFormat.kif 1280-1280

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