TreeView Knowledge Base Browser

appearance as argument number 1

(documentation AbortedMissionFn EnglishLanguage "(AborteMissionFn ?AGENT ?OP) is the MilitaryOperation ?OP after it has gotten aborted by the Agent ?AGENT")	MilitaryProcesses.kif 2433-2435
(domain AbortedMissionFn 2 MilitaryOperation)	MilitaryProcesses.kif 2430-2430
(instance AbortedMissionFn BinaryFunction)	MilitaryProcesses.kif 2429-2429
(range AbortedMissionFn MilitaryOperation)	MilitaryProcesses.kif 2431-2431
(subrelation AbortedMissionFn AbortedFn)	MilitaryProcesses.kif 2432-2432

appearance as argument number 2

(format ChineseLanguage AbortedMissionFn "由 %1 中止的 %2 任务")	domainEnglishFormat.kif 28-28
(format ChineseTraditionalLanguage AbortedMissionFn "由 %1 中止的 %2 任務")	domainEnglishFormat.kif 27-27
(format EnglishLanguage AbortedMissionFn "the military operation %2 aborted by %1")	MilitaryProcesses.kif 2689-2689
(format EnglishLanguage AbortedMissionFn "the mission of %2 aborted by %1")	domainEnglishFormat.kif 26-26
(termFormat ChineseLanguage AbortedMissionFn "任务中止")	domainEnglishFormat.kif 5097-5097
(termFormat ChineseTraditionalLanguage AbortedMissionFn "任務中止")	domainEnglishFormat.kif 5096-5096
(termFormat EnglishLanguage AbortedMissionFn "aborted mission")	domainEnglishFormat.kif 5095-5095

antecedent

(=>
    (and
        (instance ?ABORTED
            (AbortedMissionFn ?A ?MISSION))
        (causes ?ACTION ?ABORTED)
        (agent ?ACTION ?OTHER_A)
        (agent ?MISSION ?THIS_A))
    (not
        (enemy ?OTHER_A ?THIS_A)))

MilitaryProcesses.kif 2439-2444

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

KB Term:			Term intersection

English Word: