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 2413-2414
(domain AbortedFn 1 Agent) MilitaryProcesses.kif 2410-2410 domain AbortedFn, 1 and Agent
(domain AbortedFn 2 Process) MilitaryProcesses.kif 2411-2411 domain AbortedFn, 2 and Process
(instance AbortedFn BinaryFunction) MilitaryProcesses.kif 2409-2409 instance AbortedFn and BinaryFunction
(range AbortedFn Process) MilitaryProcesses.kif 2412-2412 range AbortedFn and Process

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


(format ChineseLanguage AbortedFn "由 %2 中止的 %1 ") domainEnglishFormat.kif 20-20
(format ChineseTraditionalLanguage AbortedFn "由 %2 中止的 %1 ") domainEnglishFormat.kif 19-19
(format EnglishLanguage AbortedFn "the abortion of %1 by %2 ") domainEnglishFormat.kif 18-18
(format EnglishLanguage AbortedFn "the process %2 aborted by %1") MilitaryProcesses.kif 2688-2688
(subrelation AbortedLaunchFn AbortedFn) MilitaryProcesses.kif 2478-2478 subrelation AbortedLaunchFn and AbortedFn
(subrelation AbortedMissionFn AbortedFn) MilitaryProcesses.kif 2432-2432 subrelation AbortedMissionFn and AbortedFn
(termFormat ChineseLanguage AbortedFn "中止") domainEnglishFormat.kif 5085-5085
(termFormat ChineseTraditionalLanguage AbortedFn "中止") domainEnglishFormat.kif 5084-5084
(termFormat EnglishLanguage AbortedFn "aborted") domainEnglishFormat.kif 5083-5083

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 2416-2427


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 3.0 is open source software produced by Articulate Software and its partners