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	domain AbortedMissionFn, 2 and MilitaryOperation
(instance AbortedMissionFn BinaryFunction)	MilitaryProcesses.kif 2429-2429	instance AbortedMissionFn and BinaryFunction
(range AbortedMissionFn MilitaryOperation)	MilitaryProcesses.kif 2431-2431	range AbortedMissionFn and MilitaryOperation
(subrelation AbortedMissionFn AbortedFn)	MilitaryProcesses.kif 2432-2432	subrelation AbortedMissionFn and AbortedFn

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

instance Process and AbortedMissionFn Agent and MilitaryOperation causes AgentCTION and Process agent AgentCTION and entity_A agent MilitaryOperation and entity_A
enemy entity_A and entity_A

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

KB Term:			Term intersection

English Word: