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 2693-2695 | |
(subclass SITREP Stating) | MilitaryProcesses.kif 2692-2692 | SITREP è una sottoclasse di Affermare |
appearance as argument number 2 |
(termFormat EnglishLanguage SITREP "SITREP") | MilitaryProcesses.kif 2696-2696 | |
(termFormat EnglishLanguage SITREP "SITuation REPort") | MilitaryProcesses.kif 2697-2697 |
antecedent |
(=> (instance ?S SITREP) (exists (?A ?P) (and (attribute ?A MilitaryPerson) (attribute ?P MilitaryPerson) (agent ?S ?A) (patient ?S ?P)))) |
MilitaryProcesses.kif 2699-2706 |
|