|
|
   SITREP
|
|
|
| appearance as argument number 1 |
|
|
| (documentation SITREP EnglishLanguage "A SITuation REPort - a military report on status and actions taken, plans and isues in a given conflict situation. It can be delivered verbally or in written form.") | MilitaryProcesses.kif 2744-2746 | |
| (subclass SITREP Stating) | MilitaryProcesses.kif 2743-2743 | SITREP 是 陈述 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SITREP "SITREP") | MilitaryProcesses.kif 2747-2747 | |
| (termFormat EnglishLanguage SITREP "SITuation REPort") | MilitaryProcesses.kif 2748-2748 |
| antecedent |
|
|
| (=> (instance ?S SITREP) (exists (?A ?P) (and (attribute ?A MilitaryPerson) (attribute ?P MilitaryPerson) (agent ?S ?A) (patient ?S ?P)))) |
MilitaryProcesses.kif 2750-2757 |
|
|
|