Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AbortedMissionFn |
| appearance as argument number 1 |
|
| (instance AbortedMissionFn BinaryFunction) | MilitaryProcesses.kif 2457-2457 | Aborted mission is an instance of binary function |
| (domain AbortedMissionFn 1 AutonomousAgent) | MilitaryProcesses.kif 2458-2458 | The number 1 argument of aborted mission is an instance of agent |
| (domain AbortedMissionFn 2 MilitaryOperation) | MilitaryProcesses.kif 2459-2459 | The number 2 argument of aborted mission is an instance of military operation |
| (range AbortedMissionFn MilitaryOperation) | MilitaryProcesses.kif 2460-2460 | The range of aborted mission is an instance of military operation |
| (subrelation AbortedMissionFn AbortedFn) | MilitaryProcesses.kif 2461-2461 | Aborted mission is a subrelation of aborted |
| (documentation AbortedMissionFn EnglishLanguage "(AborteMissionFn ?AGENT ?OP) is the MilitaryOperation ?OP after it has gotten aborted by the Agent ?AGENT") | MilitaryProcesses.kif 2462-2464 | Aborted mission is a subrelation of aborted |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage AbortedMissionFn "the military operation %2 aborted by %1") | MilitaryProcesses.kif 2924-2924 | |
| (format EnglishLanguage AbortedMissionFn "the mission of %2 aborted by %1") | domainEnglishFormat.kif 26-26 | |
| (format ChineseTraditionalLanguage AbortedMissionFn "由 %1 中止的 %2 任務") | domainEnglishFormat.kif 27-27 | |
| (format ChineseLanguage AbortedMissionFn "由 %1 中止的 %2 任务") | domainEnglishFormat.kif 28-28 | |
| (termFormat EnglishLanguage AbortedMissionFn "aborted mission") | domainEnglishFormat.kif 5095-5095 | |
| (termFormat ChineseTraditionalLanguage AbortedMissionFn "任務中止") | domainEnglishFormat.kif 5096-5096 | |
| (termFormat ChineseLanguage AbortedMissionFn "任务中止") | domainEnglishFormat.kif 5097-5097 |
| 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 2468-2473 | If X is an instance of the mission of Y aborted by Z, W causes X, ?OTHER_A is an agent of W, and ?THIS_A is an agent of Y, then ?OTHER_A and ?THIS_A are not enemies of each other |
|