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 2394-2395
(domain AbortedFn 1 Agent)	MilitaryProcesses.kif 2391-2391	domain AbortedFn, 1 and Agent
(domain AbortedFn 2 Process)	MilitaryProcesses.kif 2392-2392	domain AbortedFn, 2 and Process
(instance AbortedFn BinaryFunction)	MilitaryProcesses.kif 2390-2390	instance AbortedFn and BinaryFunction
(range AbortedFn Process)	MilitaryProcesses.kif 2393-2393	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 2669-2669
(subrelation AbortedLaunchFn AbortedFn)	MilitaryProcesses.kif 2459-2459	subrelation AbortedLaunchFn and AbortedFn
(subrelation AbortedMissionFn AbortedFn)	MilitaryProcesses.kif 2413-2413	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 2397-2408

instance Physical and AbortedFn Agent and Process
TimeInterval holdsDuring TimeInterval and desires Agent and ProcessR instance ProcessR and Process agent ProcessR and Agent earlier TimeInterval and WhenFn Physical

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

KB Term:			Term intersection

English Word: