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 2434-2436
(domain AbortedMissionFn 2 MilitaryOperation)	MilitaryProcesses.kif 2431-2431	任务中止的 2 数量是军事行动的 instance
(instance AbortedMissionFn BinaryFunction)	MilitaryProcesses.kif 2430-2430	任务中止是二元函数的 instance
(range AbortedMissionFn MilitaryOperation)	MilitaryProcesses.kif 2432-2432	任务中止的 range 是军事行动的实例
(subrelation AbortedMissionFn AbortedFn)	MilitaryProcesses.kif 2433-2433	任务中止是中止的 subrelation

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 2900-2900
(format EnglishLanguage AbortedMissionFn "the mission of %2 aborted by %1")	domainEnglishFormat.kif 26-26
(termFormat ChineseLanguage AbortedMissionFn "任务中止")	domainEnglishFormat.kif 5092-5092
(termFormat ChineseTraditionalLanguage AbortedMissionFn "任務中止")	domainEnglishFormat.kif 5091-5091
(termFormat EnglishLanguage AbortedMissionFn "aborted mission")	domainEnglishFormat.kif 5090-5090

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 2440-2445

如果过程是由施事体中止的军事行动任务的 instance 和那个施事体CTION causes 那个过程和实体_A 是那个施事体CTION 的 agent 和另一个实体_A 是那个军事行动的 agent，
然后 enemy 那个实体_A and 那个另外实体_A

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

KB Term:			Term intersection

English Word: