TreeView Knowledge Base Browser

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 2 Process)	MilitaryProcesses.kif 2411-2411
(instance AbortedFn BinaryFunction)	MilitaryProcesses.kif 2409-2409
(range AbortedFn Process)	MilitaryProcesses.kif 2412-2412

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 AbortedMissionFn AbortedFn)	MilitaryProcesses.kif 2432-2432
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: