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	domain AbortedMissionFn, 2 and MilitaryOperation
(instance AbortedMissionFn BinaryFunction)	MilitaryProcesses.kif 2430-2430	instance AbortedMissionFn and BinaryFunction
(range AbortedMissionFn MilitaryOperation)	MilitaryProcesses.kif 2432-2432	range AbortedMissionFn and MilitaryOperation
(subrelation AbortedMissionFn AbortedFn)	MilitaryProcesses.kif 2433-2433	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 2690-2690
(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 Process and AbortedMissionFn AutonomousAgent and MilitaryOperation causes AutonomousAgentCTION and Process agent AutonomousAgentCTION 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: