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 2414-2416
(domain AbortedMissionFn 2 MilitaryOperation)	MilitaryProcesses.kif 2411-2411
(instance AbortedMissionFn BinaryFunction)	MilitaryProcesses.kif 2410-2410
(range AbortedMissionFn MilitaryOperation)	MilitaryProcesses.kif 2412-2412
(subrelation AbortedMissionFn AbortedFn)	MilitaryProcesses.kif 2413-2413

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 2670-2670
(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 2420-2425

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

KB Term:			Term intersection

English Word: